咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是4971-4980 订阅
排序:
A new clausal class decidable by hyperresolution  18th
收藏 引用
18th International Conference on Automated Deduction, CADE 2002
作者: Georgieva, Lilia Hustadt, Ullrich Schmidt, Renate A. Department of Computer Science University of Manchester United Kingdom Max-Planck-Institut für Informatik Saarbrücken Germany Department of Computer Science University of Liverpool United Kingdom
In this paper we define a new clausal class, called BU, which can be decided by hyperresolution with splitting. We also consider the model generation problem for BU and show that hyperresolution plus splitting can als... 详细信息
来源: 评论
A declarative debugging system for lazy functional logic programs
A declarative debugging system for lazy functional logic pro...
收藏 引用
WFLP 2002, International Workshop on Functional and (Constraint) logic programming, Selected Papers
作者: Caballero, Rafael Rodríguez-Artalejo, Mario Dep. Sistemas Informáticos Y Programación Universidad Complutense Madrid Madrid Spain
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a 0computed answer is considered wrong by the user (error symptom), the debugger locates a program fragme... 详细信息
来源: 评论
Describing properties of concurrent systems (logic for Traces)
Describing properties of concurrent systems (Logic for Trace...
收藏 引用
EXPRESS '02, 9th International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR 2002)
作者: Walukiewicz, Igor
Mazurkiewicz traces are one of the simplest non-interleaving model of executions. For some systems the trace model may be exponentially smaller than the transition system model. This is one of the motivations for stud... 详细信息
来源: 评论
Model checking: A complexity-theoretic perspective
Model checking: A complexity-theoretic perspective
收藏 引用
PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002)
作者: Vardi, Moshe
In model checking one uses algorithmic techniques to establish thecorrectness of the design with respect to a given property. Model checking is based on a small number of key algorithmic ideas, tying together graph th... 详细信息
来源: 评论
A language for multi-dimensional updates
A language for multi-dimensional updates
收藏 引用
CLIMA'2002, Computational logic in Multi-Agent Systems (FLoC Satellite Event)
作者: Leite, João Alexandre Alferes, José Júlio Pereira, Luís Moniz Przymusinska, Halina Przymusinski, Teodor C. CENTRIA Universidade Nova de Lisboa 2829-516 Caparica Portugal Computer Science California State Polytechnic Univ. Pomona CA 91768 United States Computer Science Univ. of California Riverside CA 92521 United States
Dynamic logic programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which represents a state of the world. These stat... 详细信息
来源: 评论
The ELAN environment: A rewriting logic environment based on ASF+SDF technology - System demonstration
The ELAN environment: A rewriting logic environment based on...
收藏 引用
LDTA 2002, Second Workshop on Language Descriptions, Tools Applications (Satellite Event of ETAPS 2002)
作者: Van Den Brand, M.G.J. Moreau, P.-E. Ringeissen, C. Kruislaan 413 NL-1098 SJ Amsterdam Netherlands LORIA-INRIA 615 rue du Jardin Botanique F-54602 Villers-les-Nancy Cedex France
The system of the ELAN environment which is a rewriting logic environment based on ASF and SDF technology is demonstrated. Some of the characteristic features of ELAN are rewriting, AC-matching, and strategies to cont... 详细信息
来源: 评论
Paraconsistent logic program based safety verification for air traffic control
Paraconsistent logic program based safety verification for a...
收藏 引用
2002 IEEE International Conference on Systems, Man and Cybernetics
作者: Nakamatsu, Kazumi Suito, Hiroshi Abe, Jair Minoro Suzuki, Atsuyuki School of H.E.P.T. Himeji Institute of Technology 1-1-12 Shinzaike Himeji 670-0092 Japan Graduate School of Information Shizuoka University 3-5-1 Johoku Hamamatsu 432-8011 Japan Dept. Computer Science ICET Paulista University Rua Dr. Bacelar 1212 04026-002 Sao Paulo SP Brazil Faculty of Information Shizuoka University 3-5-1 Johoku Hamamatsu 432-8011 Japan
It has become a crucial issue to assure the safety for air traffic control. We consider some air traffic accidents can be avoided by verifying the safety for air traffic control logically. In this paper, we propose a ... 详细信息
来源: 评论
A neural approach to abductive multi-adjoint reasoning
收藏 引用
10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2002
作者: Medina, Jesús Mérida-Casermeiro, Enrique Ojeda-Aciego, Manuel Dept. Matemática Aplicada Universidad de Málaga Spain
A neural approach to propositional multi-adjoint logic programming was recently introduced. In this paper we extend the neural approach to multi-adjoint deduction and, furthermore, modify it to cope with abductive mul... 详细信息
来源: 评论
Non truth-functional many-valuedness
Non truth-functional many-valuedness
收藏 引用
WoLLIC'2002, 9th Workshop on logic, Language, Information and Computation
作者: Béziau, Jean-Yves National Laboratory for Scientific Computing Petrópolis RJ Brazil
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective. ©... 详细信息
来源: 评论
Set-based nondeterministic declarative programming in SINGLETON
Set-based nondeterministic declarative programming in SINGLE...
收藏 引用
WFLP 2002, 11th International Workshop on Functional and (Constraint) logic programming, Selected Papers
作者: Rossi, Gianfranco Dipartimento di Matematica Università di Parma 43100 Parma Italy
In this paper we present a declarative language that aims at combining valuable features of CLP languages - namely, nondeterminism, unification, constraint solving, dynamic data structures - with features of conventio... 详细信息
来源: 评论