咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4791-4800 订阅
排序:
Experiences with the metacognitive skills inventory
Experiences with the metacognitive skills inventory
收藏 引用
Frontiers in Education (FIE) Conference
作者: D. Miles T. Blum W.J. Staats D. Dean Department of Psychology College Of Charleston Charleston SC USA Department of Psychology Stetson University Deland FL USA Department of Computer Science College Of Charleston Charleston SC USA Department of Human Development Teachers College Columbia University New York NY USA
Despite the national surge in interest in technology fields, student performance measures continue to reveal that many students lack the analytical skills to complete college level courses in math and computer science... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Model checking for probability and time: from theory to practice
Model checking for probability and time: from theory to prac...
收藏 引用
Annual Symposium on logic in Computer Science
作者: M. Kwiatkowska School of Computer Science University of Binningham Birmingham UK
Probability features increasingly often in software and hardware systems: it is used in distributed coordination and routing problems, to model fault-tolerances and performance, and to provide adaptive resource manage... 详细信息
来源: 评论
A VLIW processor with reconfigurable instruction set for embedded applications
A VLIW processor with reconfigurable instruction set for emb...
收藏 引用
IEEE International Conference on Solid-State Circuits (ISSCC)
作者: F. Campi M. Toma A. Lodi A. Cappelli R. Canegallo R. Guerrieri ARCES University of Bologna Bologna Italy STMicroelectronics Agrate-Brianza Italy
A RISC VLIW processor implements dynamic instruction set extension integrating a pipelined, run-time reconfigurable datapath. A 0.18 /spl mu/m 6M CMOS chip prototype achieves energy consumption reduction up to 90% and... 详细信息
来源: 评论
Management issues of flexible, multilevel distance learning-based teacher training
Management issues of flexible, multilevel distance learning-...
收藏 引用
International Conference on Advanced Learning Technologies (ICALT)
作者: N. Ragonis B. Haberman Department of Science Teaching Weizmann Institute of Science Rehovot Israel Department of Science Teaching The Weizmann Institute of Science Computer Science Department Holon Academic Institute of Technology Rehovot Israel
We describe the implementation and management of a flexible model for multilevel distance learning-based teacher training. The model was implemented to introduce curricular and pedagogical aspects of teaching logic pr... 详细信息
来源: 评论
On spatial modeling of discrete event systems using point-interval logic
On spatial modeling of discrete event systems using point-in...
收藏 引用
IEEE International Conference on Systems, Man and Cybernetics
作者: A.K. Zaidi K.H. Rizvi S.S. Hussain System Architectures Laboratory George Mason University Fairfax VA USA Department of EECS Mohammad Ali Jinnah University Karachi Pakistan Logic Programming Group Max Planck Institut für Informatik Saarbrucken Germany
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitat... 详细信息
来源: 评论
Reasoning about hierarchical storage
Reasoning about hierarchical storage
收藏 引用
Annual Symposium on logic in Computer Science
作者: A. Ahmed L. Jia D. Walker Princeton University USA
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe the layout of bits in a memory word, the... 详细信息
来源: 评论