咨询与建议

限定检索结果

文献类型

  • 6,086 篇 会议
  • 2,197 篇 期刊文献
  • 106 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,404 篇 电子文献
  • 6 种 纸本馆藏

日期分布

学科分类号

  • 5,728 篇 工学
    • 5,321 篇 计算机科学与技术...
    • 3,513 篇 软件工程
    • 567 篇 电气工程
    • 303 篇 控制科学与工程
    • 169 篇 信息与通信工程
    • 83 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 26 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,420 篇 理学
    • 1,255 篇 数学
    • 118 篇 统计学(可授理学、...
    • 76 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 592 篇 管理学
    • 333 篇 图书情报与档案管...
    • 291 篇 管理科学与工程(可...
    • 119 篇 工商管理
  • 64 篇 法学
    • 39 篇 社会学
    • 24 篇 法学
  • 52 篇 哲学
    • 36 篇 哲学
  • 49 篇 教育学
    • 44 篇 教育学
  • 49 篇 医学
    • 36 篇 基础医学(可授医学...
    • 34 篇 临床医学
  • 35 篇 文学
    • 25 篇 外国语言文学
  • 35 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,408 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 154 篇 logic design
  • 153 篇 computational mo...
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 135 篇 functional progr...
  • 130 篇 costs
  • 129 篇 semantics

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 26 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 21 篇 vienna univ tech...
  • 19 篇 university of ca...
  • 18 篇 univ kentucky de...
  • 17 篇 univ potsdam pot...
  • 17 篇 katholieke univ ...
  • 15 篇 univ evora escol...
  • 14 篇 suny stony brook...
  • 14 篇 univ manchester ...
  • 13 篇 texas tech univ ...
  • 13 篇 university of co...
  • 13 篇 univ minho dept ...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...
  • 12 篇 univ london impe...

作者

  • 82 篇 schaub torsten
  • 57 篇 ricca francesco
  • 54 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 50 篇 neves jose
  • 48 篇 woltran stefan
  • 43 篇 faber wolfgang
  • 39 篇 leone nicola
  • 37 篇 pontelli enrico
  • 37 篇 son tran cao
  • 37 篇 cabalar pedro
  • 31 篇 lifschitz vladim...
  • 30 篇 gupta gopal
  • 29 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,029 篇 英文
  • 321 篇 其他
  • 39 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8408 条 记 录,以下是4651-4660 订阅
排序:
APL2 implementations of unification  87
APL2 implementations of unification
收藏 引用
1987 International Conference on APL, APL 1987
作者: Brown, James A. Guerreiro, Ramlro IBM Santa Teresa Lab J88/E42 555 Bailey Ave. San JoseCA95150 United States IBM Brazil Centro Rio de Janeiro Rio de Janeiro Av. Presidente Vargas 844/17 andar Brazil
This paper defines unification, the pattern matching process used in logic programming, and presents various alternatives for constructing algorithms. © ACM 1987.
来源: 评论
Integrating Semantic Web reasoning and answer set programming
Integrating Semantic Web reasoning and answer set programmin...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Heymans, S. Vermeir, D. Dept. of Computer Science Vrije Universiteit Brussel VUB Pleinlaan 2 B1050 Brussels Belgium
We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, features that are present in most DLs. The extended ... 详细信息
来源: 评论
Weak extensions for default theories
收藏 引用
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1993
作者: Lévy, F. LIPN CNRS-URA 1507 University of Paris Nord Avenue J.B. Clément Villetaneuse93430 France
We propose a notion of weak extension of a default theory, motivated by a kind of paraconsistent view of default reasoning, and which coincides with Reiter’s extensions when they exist. When the default theory is inc... 详细信息
来源: 评论
Feasible reactivity in a synchronous -calculus  07
Feasible reactivity in a synchronous -calculus
收藏 引用
9th International ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07
作者: Amadio, Roberto M. Dabrowski, Frédéric INRIA Sophia Antipolis
Reactivity is an essential property of a synchronous program. Informally, it guarantees that at each instant the program fed with an input will"react" producing an output. In the present work, we consider a ... 详细信息
来源: 评论
Generalized target Assignment and Path Finding using answer set programming  26
Generalized target Assignment and Path Finding using answer ...
收藏 引用
26th International Joint Conference on Artificial Intelligence, IJCAI 2017
作者: Nguyen, Van Obermeier, Philipp Son, Tran Cao Schaub, Torsten Yeoh, William Computer Science Department New Mexico State University United States Computer Science Department University of Potsdam Germany
In Multi-Agent Path Finding (MAPF), a team of agents needs to find collision-free paths from their starting locations to their respective targets. Combined Target Assignment and Path Finding (TAPF) extends MAPF by inc... 详细信息
来源: 评论
A generalization of the Deutsch-Jozsa algorithm to multi-valued quantum logic
A generalization of the Deutsch-Jozsa algorithm to multi-val...
收藏 引用
37th International Symposium on Multiple-Valued logic, ISMVL 2007
作者: Fan, Yale Catlin Gabel School 8825 SW Barnes Road Portland OR 97225-6599 United States
We generalize the binary Deutsch-Jozsa algorithm to n-valued logic using the quantum Fourier transform. Our algorithm is not only able to distinguish between constant and balanced Boolean functions in a single query, ... 详细信息
来源: 评论
A meta-logical approach for reasoning with an OWL 2 ontology
A meta-logical approach for reasoning with an OWL 2 ontology
收藏 引用
IEEE RIVF International Conference on Computing and Communication Technologies, Research, Innovation, and Vision for The Future
作者: Hirankitti, Visit Xuan, Trang Mai School of Computer Engineering Faculty of Engineering King Mongkut's Institute of Technology Ladkrabang Ladkrabang Bangkok 10520 Thailand International College King Mongkut's Institute of Technology Ladkrabang Ladkrabang Bangkok 10520 Thailand
A recent development of a Semantic Web language is OWL 2, an extension of OWL. So far OWL 2 has been designed by W3C as the language for representing a web ontology. Earlier we have developed a meta-logical approach f... 详细信息
来源: 评论
Fifth Generation Computer Project: Towards large-scale knowledge information processing
Fifth Generation Computer Project: Towards large-scale knowl...
收藏 引用
logic programming - Proceedings of the 1991 International Symposium
作者: Furukawa, Koichi Inst for New Generation Computer technology Tokyo Japan
The Fifth Generation Computer Project was launched in 1982, aiming at developing parallel computers dedicated to knowledge information processing. It was commonly believed that knowledge processing based on symbolic c... 详细信息
来源: 评论
The first version of a new ASP solver : AAASPeRiX
收藏 引用
10th International Conference on logic programming and Nonmonotonic Reasoning, LPNMR 2009
作者: Lefèvre, Claire Nicolas, Pascal LERIA University of Angers 2 bd Lavoisier F-49045 Angers Cedex 01 France
We present the first version of our ASP solver ASPeRiX that implements a new approach of answer set computation. The main specifity of our system is to realize a forward chaining of first order rules that are grounded... 详细信息
来源: 评论
Meta programming with answer sets for smart spaces  6th
Meta programming with answer sets for smart spaces
收藏 引用
6th International Conference on Web Reasoning and Rule Systems, RR 2012
作者: Janhunen, Tomi Luukkala, Vesa Aalto University Department of Information and Computer Science Finland Nokia Research Center United States
A smart space is an ecosystem of interacting computational objects embedded in some environment. The space seamlessly provides users with information and services using the best available resources. In this paper, the... 详细信息
来源: 评论