咨询与建议

限定检索结果

文献类型

  • 1,156 篇 会议
  • 57 册 图书
  • 37 篇 期刊文献

馆藏范围

  • 1,249 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 921 篇 工学
    • 869 篇 计算机科学与技术...
    • 470 篇 软件工程
    • 93 篇 控制科学与工程
    • 66 篇 电气工程
    • 43 篇 信息与通信工程
    • 13 篇 机械工程
    • 10 篇 土木工程
    • 8 篇 建筑学
    • 8 篇 石油与天然气工程
    • 7 篇 交通运输工程
    • 7 篇 生物工程
    • 6 篇 生物医学工程(可授...
    • 5 篇 力学(可授工学、理...
    • 5 篇 仪器科学与技术
    • 5 篇 电子科学与技术(可...
    • 5 篇 农业工程
  • 241 篇 理学
    • 203 篇 数学
    • 19 篇 系统科学
    • 17 篇 物理学
    • 15 篇 生物学
    • 7 篇 统计学(可授理学、...
  • 97 篇 管理学
    • 62 篇 管理科学与工程(可...
    • 41 篇 图书情报与档案管...
    • 37 篇 工商管理
  • 13 篇 教育学
    • 12 篇 教育学
  • 11 篇 医学
    • 8 篇 基础医学(可授医学...
    • 7 篇 临床医学
  • 10 篇 法学
    • 6 篇 社会学
  • 7 篇 经济学
    • 7 篇 应用经济学
  • 7 篇 农学
    • 6 篇 作物学
  • 4 篇 文学
  • 3 篇 哲学

主题

  • 254 篇 logic programmin...
  • 53 篇 artificial intel...
  • 50 篇 fuzzy logic
  • 42 篇 semantics
  • 40 篇 formal logic
  • 40 篇 mathematical log...
  • 32 篇 computer circuit...
  • 31 篇 logics and meani...
  • 26 篇 software enginee...
  • 23 篇 integer programm...
  • 22 篇 temporal logic
  • 21 篇 programming tech...
  • 20 篇 programming lang...
  • 19 篇 programming
  • 19 篇 calculations
  • 19 篇 knowledge repres...
  • 17 篇 computer science
  • 17 篇 logic
  • 17 篇 answer set progr...
  • 14 篇 cognition

机构

  • 9 篇 univ bath dept c...
  • 9 篇 vienna univ tech...
  • 5 篇 univ london impe...
  • 5 篇 rhein westfal th...
  • 5 篇 univ london impe...
  • 5 篇 univ texas dept ...
  • 4 篇 tu wien austria
  • 4 篇 simon fraser uni...
  • 4 篇 department of co...
  • 4 篇 guangxi key labo...
  • 4 篇 univ liverpool d...
  • 4 篇 univ potsdam ins...
  • 4 篇 carnegie mellon ...
  • 4 篇 univ glamorgan c...
  • 4 篇 univ potsdam ins...
  • 3 篇 univ potsdam ins...
  • 3 篇 theoretical comp...
  • 3 篇 saitama univ dep...
  • 3 篇 microsoft resear...
  • 3 篇 univ potsdam pot...

作者

  • 12 篇 schaub torsten
  • 12 篇 de vos marina
  • 10 篇 brain martin
  • 9 篇 ricca francesco
  • 8 篇 gebser martin
  • 8 篇 russo alessandra
  • 7 篇 gore rajeev
  • 6 篇 leone nicola
  • 6 篇 andrei voronkov
  • 6 篇 xu yang
  • 6 篇 giesl juergen
  • 5 篇 cliffe owen
  • 5 篇 eiter thomas
  • 5 篇 faber wolfgang
  • 5 篇 cabalar pedro
  • 5 篇 gupta gopal
  • 5 篇 tompits hans
  • 5 篇 schaub t
  • 4 篇 mileo alessandra
  • 4 篇 chang liang

语言

  • 1,234 篇 英文
  • 8 篇 其他
  • 8 篇 中文
  • 1 篇 葡萄牙文
检索条件"任意字段=7th International Conference on Logic for Programming and Automated Reasoning"
1250 条 记 录,以下是31-40 订阅
排序:
Implementation of a Neural Network Model on the Aurora Operating System Using ARM Architecture
Implementation of a Neural Network Model on the Aurora Opera...
收藏 引用
international Youth conference on Radio Electronics, Electrical and Power Engineering (REEPE)
作者: Daniil S. Markevich Dmitry A. Vidmanov Department of Information Systems and Telecommunications Bauman Moscow State Technical University Moscow Russian Federation
Deploying and training deep neural networks on mobile devices is a challenging task as machine learning applications increasingly require real-time data processing and on-device training capabilities. the ARM micropro... 详细信息
来源: 评论
Effect of Early Intervention on Students in a CS1 programming Course  7th
Effect of Early Intervention on Students in a CS1 Progra...
收藏 引用
7th international conference on Applied Informatics, ICAI 2024
作者: Llanos-Mosquera, Jose Miguel Quimbayo-Castro, Julian Andres Garcia-Perdomo, Edisney Alarcon-Lopez, Alvaro Hernan Faculty of Engineering Corporación Universitaria del Huila - CORHUILA Neiva Colombia
CS1 programming courses often exhibit low academic performance. One way to address this issue is by implementing early interventions for students. In higher education, various theories have contributed to the topic of... 详细信息
来源: 评论
Graph operations and monadic second-order logic: A survey  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: Courcelle, B Univ Bordeaux 1 LaBRI CNRS UMR 5800 F-33405 Talence France
We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
来源: 评论
Binding-time analysis by constraint solving a modular and higher-order approach for mercury  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: Vanhoof, W Katholieke Univ Leuven Dept Comp Sci Louvain Belgium
In this paper we present a binding-time analysis for the logic programming language Mercury. Binding-time analysis is a key analysis needed to perform off-line program specialisation. Our analysis deals with the highe... 详细信息
来源: 评论
LPEQ and DLPEQ - Translators for automated equivalence testing of logic programs  7
收藏 引用
7th international conference on logic programming and Nonmonotonic reasoning
作者: Janhunen, T Oikarinen, E Helsinki Univ Technol Dept Comp Sci & Engn Lab Theoret Comp Sci FIN-02015 Helsinki Finland
LPEQ and DLPEQ, two translators for automated equivalence testing of logic programs are discussed. the translators LPEQ and DLPEQ have been implemented in the C programming language under the Linux operating system. B... 详细信息
来源: 评论
Proof-search in implicative linear logic as a matching problem  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: de Groote, P INRIA LORIA UMR 7503 F-54506 Vandoeuvre Les Nancy France
We reduce the provability of fragments of multiplicative linear logic to matching problems consisting in finding a one-one-correspondence between two sets of first-order terms together with a unifier that equates the ... 详细信息
来源: 评论
An abstract interpretation approach to termination of logic programs  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: Gori, R Univ Pisa Dipartimento Informat I-56125 Pisa Italy
In this paper we define a semantic foundation for an abstract interpretation approach to universal termination and we develop a new abstract domain useful for termination analysis. Based on this approximation we defin... 详细信息
来源: 评论
A Kripkean semantics for dynamic logic programming  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: Sefránek, J Comenius Univ Inst Informat Bratislava 81103 Slovakia
the main goal of the paper is to propose a tool for a semantic specification of program updates (in the context of dynamic logic programming paradigm). A notion of Kripke structure K-P associated with a generalized lo... 详细信息
来源: 评论
Fourth international conference on logic programming and Nonmonotonic reasoning (LPNMR '97) Dagstuhl, Germany, 28-31 July 1997
收藏 引用
AI COMMUNICATIONS 1997年 第3-4期10卷 203-207页
作者: Milnikel, R
the fourth international conference on logic programming and Nonmonotonic reasoning (LPNMR) was held in Dagstuhl, Germany from the 28th to the 31st of July 1997. this year's installment of LPNMR reflected a new st... 详细信息
来源: 评论
logic programming approaches for representing and solving constraint satisfaction problems A comparison  7th
收藏 引用
7th international conference on logic for programming and automated reasoning
作者: Pelov, N De Mot, E Denecker, M Katholieke Univ Leuven Dept Comp Sci B-3001 Heverlee Belgium
Many logic programming based approaches can be used to describe and solve combinatorial search problems. On the one hand there is constraint logic programming which computes a solution as an answer substitution to a q... 详细信息
来源: 评论