咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4731-4740 订阅
排序:
A flexible meta-solver framework for constraint solver collaboration
A flexible meta-solver framework for constraint solver colla...
收藏 引用
26th Annual German Conference on Artificial Intelligence, KI 2003
作者: Frank, Stephan Hofstedt, Petra Mai, Pierre R. Berlin University of Technology Germany PMSF IT Consulting Germany
The solving of multi-domain constraint problems with the help of collaborating solvers has seen extended interest in recent years. We describe the implementation (Meta-S) and extension of a previously proposed theoret... 详细信息
来源: 评论
Reachability in conditional term rewriting systems
Reachability in conditional term rewriting systems
收藏 引用
FTP'2003, 4th International Workshop on First-Order Theorem Proving (in Connection with RDP'03, Federated Conference on Rewriting, Deduction
作者: Feuillade, Guillaume Genet, Thomas IRISA Université de Rennes 1 and ENS Cachan Campus de Beaulieu F-35042 Rennes
In this paper, we study the reachability problem for conditional term rewriting systems. Given two ground terms s and t, our practical aim is to prove s &rarrR* t for some join conditional term rewriting system R ... 详细信息
来源: 评论
Integrating Semantic Web reasoning and answer set programming
Integrating Semantic Web reasoning and answer set programmin...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Heymans, S. Vermeir, D. Dept. of Computer Science Vrije Universiteit Brussel VUB Pleinlaan 2 B1050 Brussels 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 ... 详细信息
来源: 评论
Runtime verification of timed LTL using disjunctive normalized equation systems
Runtime verification of timed LTL using disjunctive normaliz...
收藏 引用
作者: Kristoffersen, Kåre Jelling Pedersen, Christian Andersen, Henrik Reif Department of Innovation IT University of Copenhagen Copenhagen 2400 NV Denmark
In this paper we present a new framework for runtime verification of properties of real time systems such as financial systems or backend databases. Such a systems has a semantics which resemples that of timed traces,... 详细信息
来源: 评论
Design of Controller for Fundamental Steer-by-wire system  1
Design of Controller for Fundamental Steer-by-wire system
收藏 引用
SAE 1st National Conference on Automotive Infotronics NCAI 2003
作者: Arasan, Santhosh T. Midhun, V.S. Subburaj, V. Jawahar, P.Mannar Department of Automobile Engineering Madras Institute of Technology Anna University Chennai India Department of Automobile Engineering MIT Anna University 100 Avvai Street VGP Shanti Nagar Pallikaranai Chennai601 302 India
An overview of today's automotive industry reminds us about an ever-increasing demand for passenger comfort, safety and zero emissions vehicles. Drivers are also seeking improvements in the handling stability at h... 详细信息
来源: 评论
Complexity of answer set checking and bounded predicate arities for non-ground Answer Set programming
Complexity of answer set checking and bounded predicate arit...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Eiter, Thomas Faber, Wolfgang Fink, Michael Pfeifer, Gerald Woltran, Stefan Institut für Informationssysteme TU Wien Favoritenstraße 9-11 A-1040 Wien Austria
We present new complexity results on answer set checking for nonground programs under a variety of syntactic restrictions. For several of these problems, the kind of representation of the answer set to be checked is i... 详细信息
来源: 评论
Agents that reason and learn
Agents that reason and learn
收藏 引用
13th International Conference, ILP 2003
作者: Lloyd, John W. Res. Sch. of Info. Sci. and Eng. Australian National University Canberra ACT 0200 Australia
The issues related to designing architectures for agents that need to be able to adapt to changing circumstances during deployment are discussed. This research is being carried out in the context of the Smart Internet... 详细信息
来源: 评论
Computing answer sets of a logic program via-enumeration of SAT certificates
Computing answer sets of a logic program via-enumeration of ...
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Lierler, Yuliya Maratea, Marco Department of Computer Sciences University of Texas Austin United States Dipartimento di Informatica Sistemistica e Telematica Universita di Genova Genova Italy
Answer set programming is a new programming paradigm proposed in [1] and [2], and based on the answer set semantics of Prolog [3]. It is well known that an answer set for a logic program is also a model of the program... 详细信息
来源: 评论
Narrowing-based simulation of term rewriting systems with extra variables and its Termination Proof
Narrowing-based simulation of term rewriting systems with ex...
收藏 引用
作者: Nishida, Naoki Sakai, Masahiko Sakabe, Toshiki Graduate School of Engineering Nagoya University Furo-cho Chikusa-ku Nagoya 464-8603 Japan Graduate School of Information Science Nagoya University Furo-cho Chikusa-ku Nagoya 464-8603 Japan
Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infin... 详细信息
来源: 评论
Suitable graphs for answer set programming
Suitable graphs for answer set programming
收藏 引用
2nd International Workshop on Answer Set programming Advances in Theory and Implementation, ASP 2003
作者: Linke, Thomas Institut für Informatik Universität Potsdam Germany
Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. Sometimes this information is not sufficient for ... 详细信息
来源: 评论