咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8,406 篇 logic programmin...
  • 603 篇 computer science
  • 473 篇 computer languag...
  • 339 篇 application soft...
  • 306 篇 artificial intel...
  • 244 篇 programming prof...
  • 177 篇 computer archite...
  • 173 篇 programmable log...
  • 173 篇 hardware
  • 168 篇 control systems
  • 153 篇 computational mo...
  • 153 篇 logic design
  • 151 篇 prototypes
  • 149 篇 concurrent compu...
  • 148 篇 laboratories
  • 144 篇 object oriented ...
  • 144 篇 software enginee...
  • 136 篇 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,020 篇 英文
  • 334 篇 其他
  • 33 篇 中文
  • 7 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8406 条 记 录,以下是4791-4800 订阅
排序:
A three semester introductory computer science sequence
A three semester introductory computer science sequence
收藏 引用
Frontiers in Education (FIE) Conference
作者: K. White R. Giguette Department of Mathematics and Computer Science Nicholls State University Thibodaux LA USA
ACM guidelines suggest that the introductory computer science sequence can be split into three courses, either to introduce more topics, or to cover topics in more depth. We have been applying the second approach for ... 详细信息
来源: 评论
Automated support for framework-based software
Automated support for framework-based software
收藏 引用
International Conference on Software Maintenance (ICSM)
作者: T. Tourwe T. Mens Programming Technology Laboratory Vrije Universiteit Brussel Brussels Belgium Service de Gnie Logiciel Universit de Mons-Hainaut Mons Belgium
In this paper, we show how elaborate support for framework-based software evolution can be provided based on explicit documentation of the hot spots of object-oriented application frameworks. Such support includes hig... 详细信息
来源: 评论
Integrating ontology languages and answer set programming
Integrating ontology languages and answer set programming
收藏 引用
International Workshop on Database and Expert Systems Applications
作者: S. Heymans D. Vermeir Department of Computer Science Vrije Universiteit Brussel Belgium
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite universe, without introducing function symbols... 详细信息
来源: 评论
From discrete specifications to hybrid control
From discrete specifications to hybrid control
收藏 引用
IEEE Conference on Decision and Control
作者: P. Tabuada G.J. Pappas Department of Electrical Engineering University of Notre Dame Notre Dame IN USA Department of Electrical and Systems Engineering University of Pennsylvania Philadelphia PA USA
A great challenge for modern systems theory is the design of controllers for continuous systems but with logical specifications. In this paper, we are interested in developing algorithmic methods which given a discret... 详细信息
来源: 评论
An object-passing model for parallel programming
An object-passing model for parallel programming
收藏 引用
IEEE Annual International Computer Software and Applications Conference (COMPSAC)
作者: J. Al-Jaroodi N. Mohamed Computer Science and Engineering University of Nebraska Lincoln Lincolnshire NE USA
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful yet simple methods to distribute and ... 详细信息
来源: 评论
A neural network algorithm for hardware-software verification
A neural network algorithm for hardware-software verificatio...
收藏 引用
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
作者: M.L. Rebaiaia J.M. Jaam A.M. Hasnah Computer Science Department University of Barn Algeria Computer Science Department Qatar University Qatar
Formal verification is the task of proving that a property holds for a model of a design. This paper examines the idea of a Neural Network-based algorithm used to find the set of states that makes a specification vali... 详细信息
来源: 评论
LicenseScript: a novel digital rights language and its semantics
LicenseScript: a novel digital rights language and its seman...
收藏 引用
International Conference on Web Delivering of Music (WEDELMUSIC)
作者: C.N. Chong R. Corin S. Etalle P. Hartel W. Jonker Y.W. Law University of Twente Netherlands Philips Research Netherlands
We propose LicenseScript as a new multiset rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from other rights expres... 详细信息
来源: 评论
A formal framework for design component contracts
A formal framework for design component contracts
收藏 引用
IEEE International Conference on Information Reuse and Integration (IRI)
作者: Jing Dong P. Alencar D. Cowan Department of Computer Science University of Texas Dallas Richardson TX USA School of Computer Science University of Waterloo Waterloo ONT Canada
Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components in different phases of software development. Compone... 详细信息
来源: 评论
Generating adaptive hypermedia with Golog and conceptual graphs
Generating adaptive hypermedia with Golog and conceptual gra...
收藏 引用
International Conference on Advanced Learning Technologies (ICALT)
作者: F. Popineau Y. Bourda B.-L. Doan Ecole Supérieure d''Electricité France
We present an adaptive hypermedia architecture based on Golog and conceptual graphs. We propose a conceptual graph model for the description of the hypermedia structure and the use of Golog, a logic programming langua... 详细信息
来源: 评论
Ontology-based information in dynamic environments
Ontology-based information in dynamic environments
收藏 引用
IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE)
作者: H. Stuckenschmidt AI Department Vrije Universiteit Amsterdam Netherlands
A number of ontology based systems have been developed that support typical knowledge management tasks. At the moment almost all of these systems, however, rely on a number of assumptions about the nature of environme... 详细信息
来源: 评论