咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,402 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 178 篇 computer archite...
  • 174 篇 hardware
  • 173 篇 programmable log...
  • 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
  • 27 篇 new mexico state...
  • 24 篇 univ pisa dipart...
  • 23 篇 katholieke univ ...
  • 22 篇 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
  • 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 篇 denecker marc
  • 28 篇 sakama chiaki
  • 28 篇 maratea marco
  • 26 篇 proietti maurizi...
  • 26 篇 lierler yuliya
  • 26 篇 inoue katsumi

语言

  • 8,030 篇 英文
  • 320 篇 其他
  • 33 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8402 条 记 录,以下是4751-4760 订阅
排序:
Enhancing the power of OLAP with knowledge discovery
Enhancing the power of OLAP with knowledge discovery
收藏 引用
Proceedings of the Seventh IASTED International Conference on Software Engineering and Applications
作者: Kerdprasop, Nittaya Kerdprasop, Kittisak School of Computer Engineering Suranaree University of Technology Nakorn Ratchasima 30000 Thailand
We propose to enhance the functionality of the OLAP systems by incorporating the knowledge extraction component. The extracted knowledge is mainly to benefit the OLAP analysts by guiding them to the interesting portio... 详细信息
来源: 评论
Evolving Knowledge Bases : Specification and Semantics  1
收藏 引用
2003年
作者: J.A. Leite
In this book, we incrementally specify, semantically characterize, and illustrate with examples, the concepts and tools necessary to the development of Evolving Knowledge Bases (EKB). An EKB is a knowledge base which ... 详细信息
来源: 评论
Proceedings of the Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative programming
Proceedings of the Fifth ACM SIGPLAN Conference on Principle...
收藏 引用
Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative programming
The proceedings contains 26 papers from the Fifth ACM SIGPLAN Conference on Principle and Practice of Declarative programming. The topics discussed include: a functional correspondence between evaluators and abstract ... 详细信息
来源: 评论
The AgentMorph - The implementation of information agent on Squeak and croquet
The AgentMorph - The implementation of information agent on ...
收藏 引用
1st Conference on Creating, Connecting and Collaborating through Computing
作者: Sakai, M Micronet Company Limited
This is about the implementation of a cooperative information-gathering agent as Morph on Squeak. The purpose of this project is to make an agent that solves this point on Squeak. This agent includes three main functi... 详细信息
来源: 评论
Integrating description logics and answer set programming
收藏 引用
1st International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2003
作者: Heymans, Stijn Vermeir, Dirk Dept. of Computer Science Vrije Universiteit Brussel VUB Pleinlaan 2 BrusselsB1050 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 ... 详细信息
来源: 评论
On strategies of the narrowing operator selection in the constraint propagation method
收藏 引用
5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2003
作者: Dolgov, Yuri G. Novosibirsk State University A.P. Ershov Institute of Informatics Systems Siberian Division of the Russian Academy of Sciences Russia
This paper presents an approach that allows us to increase efficiency of the constraint propagation method. This approach consists in using a strategy of calls of narrowing operators in the process of computation on t... 详细信息
来源: 评论
A compiler generator for constraint logic programs
收藏 引用
5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2003
作者: Craig, Stephen-John Leuschel, Michael Department of Electronics and Computer Science University of Southampton HighfieldSO17 1BJ United Kingdom
The cogen approach to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success. This paper demonstrates that the cogen approach is also applicable to the s... 详细信息
来源: 评论
Web Knowledge Management and Decision Support - 14th International Conference on Applications of Prolog, INAP 2001
Web Knowledge Management and Decision Support - 14th Interna...
收藏 引用
14th International Conference on Applications of Prolog, INAP 2001
The proceedings contain 20 papers from the Web Knowledge Management and Decision Support - 14th International Conference on Applications of Prolog, INAP 2001. The topics discussed include: the rule markup language: RD... 详细信息
来源: 评论
Checking properties of Heap-Manipulating procedures with a constraint solver
Checking properties of Heap-Manipulating procedures with a c...
收藏 引用
9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003
作者: Vaziri, Mandana Jackson, Daniel Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA United States
A method for finding bugs in object-oriented code is presented. It is capable of checking complex user-defined structural properties - that is, of the configuration of objects on the heap - and generates counterexampl... 详细信息
来源: 评论
Lukaszewicz-style answer set programming: A preliminary report
Lukaszewicz-style answer set programming: A preliminary repo...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Delgrande, J.P. Gharib, M. Mercer, R.E. Risch, V. Schaub, T. School of Computing Science Simon Fraser University Burnaby BC V5A 1S6 Canada Institut für Informatik Universität Potsdam D-14415 Potsdam Germany Cognitive Engineering Laboratory Department of Computer Science University of Western Ontario London ON N6A 5B7 Canada InCA Team LSIS - UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme avenue Escadrille Normandie Niemen F-13397 Marseille cédex 20 France
The correspondence between Reiter's default reasoning and logic programming has been exhaustively studied (e.g. [1], [2], [3]). A Contrario the relation with the many variants of the initial theory of Reiter seems... 详细信息
来源: 评论