咨询与建议

限定检索结果

文献类型

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

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

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

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 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
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 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,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是4751-4760 订阅
排序:
Dynamic slicing based on redex trails  04
Dynamic slicing based on redex trails
收藏 引用
Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'04
作者: Ochoa, Claudio Silva, Josep Vidal, Germán DSIC T.U. Valencia Camino de Vera s/n 46022 Valencia Spain
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of a computation is generally useless. Ty... 详细信息
来源: 评论
Summary-based inter-procedural analysis via modular trace refinement  34
Summary-based inter-procedural analysis via modular trace re...
收藏 引用
34th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2014
作者: Cassez, Franck Müller, Christian Burnett, Karla NICTA UNSW Australia TU Munich Germany
We propose a generalisation of trace refinement for the verification of inter-procedural programs. Our method is a top-down modular, summary-based approach, and analyses inter-procedural programs by building function ... 详细信息
来源: 评论
Constraint answer set programming without grounding and its applications  3
Constraint answer set programming without grounding and its ...
收藏 引用
3rd International Workshop on the Resurgence of Datalog in Academia and Industry, Datalog 2.0 2019
作者: Arias, Joaquin Carro, Manuel Chen, Zhuo Gupta, Gopal IMDEA Software Institute Spain Universidad Politécnica de Madrid Spain University of Texas at Dallas United States
Extending Datalog/ASP with constraints (CASP) enhances its expressiveness and performance but it is not straightforward as the grounding phase removes variables and the links among them. We incorporate constraints int... 详细信息
来源: 评论
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
A Complexity Assessment for Queries Involving Sufficient and...
收藏 引用
14th European Conference on logics in Artificial Intelligence (JELIA)
作者: Cabalar, Pedro Fandino, Jorge Fink, Michael Univ A Coruna Dept Comp Sci Coruna Spain Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria
In this work, we revisit a recently proposed multi-valued semantics for logic programs where each true atom in a stable model is associated with a set of expressions (or causal justifications) involving rule labels. F... 详细信息
来源: 评论
User-definable rule priorities for CHR  07
User-definable rule priorities for CHR
收藏 引用
9th International ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'07
作者: De Koninck, Leslie Schrijvers, Tom Demoen, Bart Katholieke Universiteit Leuven Department of Computer Science Celestijnenlaan 200a 3001 Heverlee Belgium Fund for Scientific Research Flanders Belgium
This paper introduces CHRrp: Constraint Handling Rules with user-definable rule priorities. CHRrp offers flexible execution control which is lacking in CHR. A formal operational semantics for the extended language is ... 详细信息
来源: 评论
Parallelizing datalog programs by generalized pivoting  91
Parallelizing datalog programs by generalized pivoting
收藏 引用
10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS 1991
作者: Seib, Jürgen Lausen, Georg University of Mannheim Faculty of Mathematics and Computer Science Mannheim6800 Germany
A Datalog program consists of function-free Horn clause rules. The main problem in evaluating Datalog programs is to achieve an acceptable performance. The reason is, that Datalog programs usually are evaluated bottom... 详细信息
来源: 评论
Computing first-order logic programs by fibring artificial neural networks
Computing first-order logic programs by fibring artificial n...
收藏 引用
Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005
作者: Bader, Sebastian D'Avila Garcez, Artur S. Hitzler, Pascal Department of Computer Science Technische Universität Dresden Germany Department of Computing City University London United Kingdom Institute AIFB University of Karlsruhe Germany
The integration of symbolic and neural-network-based artificial intelligence paradigms constitutes a very challenging area of research. The overall aim is to merge these two very different major approaches to intellig... 详细信息
来源: 评论
ECA Perspectives – Requirements, Applications, Technology
ECA Perspectives – Requirements, Applications, Technology
收藏 引用
Evaluating Embodied Conversational Agents 2004
作者: Eliëns, Anton Huang, Zhisheng Hoorn, Johan F. Visser, Cees Intelligent Multimedia Group Vrije Universiteit Amsterdam Netherlands
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present an overview of our work, by discussin... 详细信息
来源: 评论
Development reuse and the logic program derivation of two string-matching algorithms  01
Development reuse and the logic program derivation of two st...
收藏 引用
Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative programming (PPDP'00)
作者: Hernández, Manuel Rosenblueth, David A. Inst. de Invest. Matemat. Apl. Sist. Univ. Nac. Auton. de Mexico Apdo. 20-726 01000 México D.F. Mexico
Program transformation advocates the development of programs by applying a sequence of meaning-preserving rules to a specification, thereby obtaining an implementation. The cost of program development and maintenance ... 详细信息
来源: 评论
Natural Language Understanding using Temporal Action logic  06
Natural Language Understanding using Temporal Action Logic
收藏 引用
2006 Workshop on Knowledge and Reasoning for Language Processing, KRAQ 2006
作者: Magnusson, Martin Department of Computer and Information Science Linköping University LinköpingSE-581 83 Sweden
We consider a logicist approach to natural language understanding based on the translation of a quasi-logical form into a temporal logic, explicitly constructed for the representation of action and change, and the sub... 详细信息
来源: 评论