咨询与建议

限定检索结果

文献类型

  • 6,094 篇 会议
  • 2,226 篇 期刊文献
  • 98 册 图书
  • 14 篇 学位论文

馆藏范围

  • 8,428 篇 电子文献
  • 5 种 纸本馆藏

日期分布

学科分类号

  • 5,750 篇 工学
    • 5,349 篇 计算机科学与技术...
    • 3,522 篇 软件工程
    • 564 篇 电气工程
    • 313 篇 控制科学与工程
    • 174 篇 信息与通信工程
    • 85 篇 电子科学与技术(可...
    • 59 篇 机械工程
    • 39 篇 生物医学工程(可授...
    • 39 篇 生物工程
    • 36 篇 建筑学
    • 29 篇 土木工程
    • 27 篇 材料科学与工程(可...
    • 25 篇 仪器科学与技术
  • 1,429 篇 理学
    • 1,266 篇 数学
    • 119 篇 统计学(可授理学、...
    • 74 篇 生物学
    • 69 篇 系统科学
    • 50 篇 物理学
    • 26 篇 科学技术史(分学科...
  • 602 篇 管理学
    • 336 篇 图书情报与档案管...
    • 298 篇 管理科学与工程(可...
    • 118 篇 工商管理
  • 67 篇 法学
    • 41 篇 社会学
    • 25 篇 法学
  • 56 篇 哲学
    • 36 篇 哲学
  • 50 篇 医学
    • 36 篇 基础医学(可授医学...
    • 35 篇 临床医学
  • 49 篇 教育学
    • 44 篇 教育学
  • 36 篇 文学
    • 26 篇 外国语言文学
  • 33 篇 农学
    • 25 篇 作物学
  • 25 篇 经济学
  • 16 篇 艺术学
  • 4 篇 历史学
  • 2 篇 军事学

主题

  • 8,432 篇 logic programmin...
  • 604 篇 computer science
  • 473 篇 computer languag...
  • 337 篇 application soft...
  • 308 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 172 篇 programmable log...
  • 171 篇 hardware
  • 167 篇 control systems
  • 153 篇 computational mo...
  • 153 篇 logic design
  • 150 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 134 篇 functional progr...
  • 131 篇 semantics
  • 130 篇 costs

机构

  • 33 篇 university of po...
  • 31 篇 univ minho ctr a...
  • 28 篇 tu wien austria
  • 27 篇 new mexico state...
  • 25 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 23 篇 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 篇 vienna universit...
  • 12 篇 univ maryland de...
  • 12 篇 school of comput...

作者

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

语言

  • 8,106 篇 英文
  • 275 篇 其他
  • 32 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8432 条 记 录,以下是4481-4490 订阅
Providing declarative semantics for HH extended constraint logic programs  04
Providing declarative semantics for HH extended constraint l...
收藏 引用
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'04
作者: García-Díaz, Miguel Nieva, Susana Dpto. Sistemas Informáticos Facultad de Informática Universidad Complutense de Madrid Spain
This paper is focused on a double extension of traditional logic programming which enhances it following two different approaches. On one hand, extending Horn logic to hereditary Harrop formulas (HH), in order to impr... 详细信息
来源: 评论
A robust algorithm for approximate Compatible Observability Don't Care (CODC) computation
A robust algorithm for approximate Compatible Observability ...
收藏 引用
41st Design Automation Conference, DAC 2004
作者: Saluja, Nikhil Khatri, Sunil P. Dept ECE University of Colorado United States
Compatible Observability Don't Cares (CODCs) are a powerful means to express the flexibility present at a node in a multi-level logic network. Despite their elegance, the applicability of CODCs has been hampered b... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Agent planning, negotiation and control of operation  16
Agent planning, negotiation and control of operation
收藏 引用
16th European Conference on Artificial Intelligence, ECAI 2004
作者: Kakas, Antonis C. Torroni, Paolo Demetriou, Neophytos Department of Computer Science University of Cyprus Nicosia Cyprus DEIS Università di Bologna Bologna Italy
This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, and control of operation, for reconciling rationa... 详细信息
来源: 评论
logic programming techniques for dynamic vrml web content generation  1
收藏 引用
3rd International Symposium on Practical Aspects of Declarative Languages, PADL 2001
作者: Gupta, Anima Tarau, Paul Department of Computer Science University of North Texas P.O. Box 311366 DentonTX76203 United States
We explore the use of a number of logic programming techniques for generating dynamic Web content and the underlying architecture and implementation issues. We describe a Prolog to VRML mapping allowing generation of ... 详细信息
来源: 评论
Nominal rewriting systems  04
Nominal rewriting systems
收藏 引用
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative programming, PPDP'04
作者: Fernández, Maribel Gabbay, Murdoch J. Mackie, Ian Dept. of Computer Science King's College London Strand London WC2R 2LS United Kingdom LIX École Polytechnique 91128 Palaiseau Cedex France
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to binding, in which bound entities are e... 详细信息
来源: 评论
Contexts for organizational information system design and implementation
Contexts for organizational information system design and im...
收藏 引用
ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems
作者: Abreu, Salvador Diaz, Daniel Universidade de Évora CENTRIA Portugal Université de Paris I INRIA France
In this article we sustain that Contextual Constraint logic programming (CxCLP for short) is a useful paradigm in which to specify and implement Organizational Information Systems, particularly when integrated with th... 详细信息
来源: 评论
Rule extraction from a neural network with segregated numeric and categorical input
Rule extraction from a neural network with segregated numeri...
收藏 引用
Proceedings of the Eighth IASTED International Conference on Atificial Intelligence and Soft Computing
作者: Brouwer, Roelof K. Department of Computing Science University College of the Cariboo Kamloops BC V2C 5 N3 Canada
The data on which a MLP (multi-layer perception) is to be trained to approximate a continuous function may include inputs that are categorical rather than only numeric or quantitative. However an MLP with connection m... 详细信息
来源: 评论
Unifying proof methodologies of duration calculus and timed linear temporal logic
Unifying proof methodologies of duration calculus and timed ...
收藏 引用
作者: Liu, Zhiming Ravn, Anders P. Li, Xiaoshan International Institute for Software Technology United Nations University Macau China Department of Computer Science Aalborg University Aalborg Denmark Faculty of Science and Technology University of Macau Macau China International Institute for Software Technology United Nations University P.O. Box 3058 Macau SAR China Department of Mathematics and Computer Science University of Leicester United Kingdom
Linear temporal logic (LTL) has been widely used for specification and verification of reactive systems. Its standard model is sequences of states (or state transitions), and formulas describe sequencing of state tran... 详细信息
来源: 评论
Embracing causality in inducing the effects of actions  1
收藏 引用
10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003 and 5th Conference on Technology Transfer, TTIA 2003
作者: Otero, Ramon P. Department of Computer Science University of Corunna CorunnaGalicia15071 Spain
The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to be concise and modular, we use a generic action ... 详细信息
来源: 评论