咨询与建议

限定检索结果

文献类型

  • 6,085 篇 会议
  • 2,197 篇 期刊文献
  • 109 册 图书
  • 18 篇 学位论文
  • 1 篇 科技报告

馆藏范围

  • 8,406 篇 电子文献
  • 7 种 纸本馆藏

日期分布

学科分类号

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

主题

  • 8,410 篇 logic programmin...
  • 603 篇 computer science
  • 474 篇 computer languag...
  • 339 篇 application soft...
  • 304 篇 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
  • 53 篇 vicente henrique
  • 51 篇 gebser martin
  • 50 篇 eiter thomas
  • 49 篇 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,028 篇 英文
  • 322 篇 其他
  • 41 篇 中文
  • 10 篇 日文
  • 4 篇 俄文
  • 2 篇 德文
  • 2 篇 法文
  • 2 篇 葡萄牙文
  • 1 篇 斯洛伐克文
  • 1 篇 土耳其文
检索条件"主题词=Logic Programming"
8410 条 记 录,以下是351-360 订阅
排序:
Allowing Cyclic Dependencies in Modular logic programming  17th
Allowing Cyclic Dependencies in Modular Logic Programming
收藏 引用
17th Portuguese Conference on Artificial Intelligence (EPIA)
作者: Moura, Joao Damasio, Carlos Viegas Univ Nova Lisboa CENTRIA NOVA Lab Comp Sci & Informat NOVA LINCS P-1200 Lisbon Portugal
Even though modularity has been studied extensively in conventional logic programming, there are few approaches on how to incorporate modularity into Answer Set programming, a prominent rule-based declarative programm... 详细信息
来源: 评论
Automatic compilation of protocol insecurity problems into logic programming  1
收藏 引用
9th European Conference on logics in Artificial Intelligence (JELIA 04)
作者: Armando, A Compagna, L Lierler, Y Univ Genoa AI Lab DIST Genoa Italy Univ Erlangen Nurnberg AI Erlangen Germany
In this paper we show how protocol insecurity problems expressed in a multi-set rewriting formalism can be automatically translated into logic programming problems. The proposed translation paves the way to the constr... 详细信息
来源: 评论
An Online logic programming Development Environment  30
An Online Logic Programming Development Environment
收藏 引用
30th Association-for-the-Advancement-of-Artificial-Intelligence (AAAI) Conference on Artificial Intelligence
作者: Reotutar, Christian Diagne, Mbathio Balai, Evgenii Wertz, Edward Lee, Peter Yeh, Shao-Lon Zhang, Yuanlin Johns Hopkins Univ Dept Comp Sci Baltimore MD 21218 USA Minneapolis Community & Tech Coll Dept Math Minneapolis MN USA Texas Tech Univ Dept Comp Sci Lubbock TX 79409 USA Univ Calif Berkeley Dept EECS Berkeley CA 94720 USA Lubbock High Sch Lubbock TX USA
Recent progress in logic programming, particularly answer set programming, has enabled us to teach it to undergraduate and high school students. We developed an online answer set programming environment with simple in... 详细信息
来源: 评论
ROLE OF logic programming IN THE FGCS PROJECT  1st
ROLE OF LOGIC PROGRAMMING IN THE FGCS PROJECT
收藏 引用
INTERNATIONAL CONF ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE ( TACS 91 )
作者: FUCHI, K FURUKAWA, K ICOT Research Center Institute for New Generation Computer technology 1-4-28 Mita Minato-ku Tokyo 108 Japan
The research of the Fifth Generation Computer Project was conducted based on a single principle: logic programming. logic programming unifies the ideas of retrieval and computation. Both of these can be regarded as fo... 详细信息
来源: 评论
Cooperation of Algebraic Constraint Domains in Higher-Order Functional and logic programming
Cooperation of Algebraic Constraint Domains in Higher-Order ...
收藏 引用
13th International Conference on Algebraic Methodology and Software Technology
作者: del Vado Virseda, Rafael Univ Complutense Madrid Dpto Sistemas Informat & Computac E-28040 Madrid Spain
This paper presents a theoretical framework for the integration of the cooperative constraint solving of several algebraic domains into higher-order functional and logic programming on A-abstractions, using an instanc... 详细信息
来源: 评论
SET-TERM MATCHING IN logic programming  4th
收藏 引用
4TH INTERNATIONAL CONF ON DATABASE THEORY ( ICDT 92 )
作者: ARNI, N GRECO, S SACCA, D MCC Balcones Center Dr. 3500 Austin 78759 TX United States DEIS Università della Calabria Rende 87030 Italy
This paper is concerned with the unification of set terms that differ from standard terms because of the commutative and idempotent properties. The main results are the detailed complexity analysis of the problem of s... 详细信息
来源: 评论
A logic programming framework for planning and simulation
收藏 引用
Decision Support Systems 1986年 第1期2卷 15-25页
作者: Lee, Ronald M Miller, Louis W University of Texas Graduate School of Business Information Systems Group Austin TX 78712 United States RAND Corporation United States
Planning and simulation models share the characteristic that they involve reasoning about hypothetical sequences of activities. These may be naturally described in a graph structure, e.g., a state transition diagram o... 详细信息
来源: 评论
PROCESSING ABDUCTIVE REASONING VIA CONTEXTUAL logic programming
PROCESSING ABDUCTIVE REASONING VIA CONTEXTUAL LOGIC PROGRAMM...
收藏 引用
INTERNATIONAL WORKSHOP ON PROCESSING DECLARATIVE KNOWLEDGE ( PDK 91 )
作者: LAMMA, E MELLO, P DEIS Università di Bologna Viale Risorgimento 2 Bologna 40136 Italy
Different extensions to logic programming have recently been introduced to deal with abductive reasoning. In this work we address the issue of how to process abductive reasoning in the field of logic programming by fo... 详细信息
来源: 评论
Negotiation Using logic programming with Consistency Restoring Rules  21
Negotiation Using Logic Programming with Consistency Restori...
收藏 引用
21st International Joint Conference on Artificial Intelligence (IJCAI-09)
作者: Son, Tran Cao Sakama, Chiaki New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Wakayama Univ Comp & Commun Sci Wakayama 6408510 Japan
We formalize negotiations using logic programming with consistency restoring rules (or CR-Prolog) [Balduccini and Gelfond, 2003]. Our formulation deals with incomplete information, preferences, and changing goals. We ... 详细信息
来源: 评论
PROFIT - A SYSTEM INTEGRATING logic programming AND ATTRIBUTE GRAMMARS  3rd
PROFIT - A SYSTEM INTEGRATING LOGIC PROGRAMMING AND ATTRIBUT...
收藏 引用
3RD INTERNATIONAL SYMP ON programming LANGUAGE IMPLEMENTATION AND logic programming ( PLILP 91 )
作者: PAAKKI, J Department of Computer Science University of Helsinki Teollisuuskatu 23 Helsinki SF-00510 Finland
PROFIT is a system and a programming language where Prolog is extended with concepts needed in compiler writing applications. The special facilities include a deterministic error-recovering form of definite clause gra... 详细信息
来源: 评论