咨询与建议

限定检索结果

文献类型

  • 668 篇 会议
  • 32 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 718 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 648 篇 工学
    • 645 篇 计算机科学与技术...
    • 356 篇 软件工程
    • 28 篇 控制科学与工程
    • 22 篇 电气工程
    • 18 篇 信息与通信工程
    • 3 篇 材料科学与工程(可...
    • 3 篇 建筑学
    • 3 篇 生物工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 力学(可授工学、理...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 农业工程
  • 129 篇 理学
    • 120 篇 数学
    • 5 篇 物理学
    • 5 篇 生物学
    • 5 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
  • 33 篇 管理学
    • 23 篇 图书情报与档案管...
    • 13 篇 管理科学与工程(可...
    • 7 篇 工商管理
  • 5 篇 法学
    • 4 篇 社会学
    • 1 篇 法学
  • 3 篇 医学
    • 3 篇 临床医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 药学(可授医学、理...
  • 2 篇 教育学
    • 2 篇 教育学
  • 1 篇 农学

主题

  • 247 篇 logic programmin...
  • 46 篇 answer set progr...
  • 44 篇 semantics
  • 22 篇 computer circuit...
  • 22 篇 artificial intel...
  • 21 篇 knowledge repres...
  • 20 篇 formal logic
  • 18 篇 nonmonotonic rea...
  • 12 篇 calculations
  • 11 篇 mathematical log...
  • 11 篇 logics and meani...
  • 9 篇 constraint progr...
  • 8 篇 answer-set progr...
  • 8 篇 atoms
  • 8 篇 inductive logic ...
  • 8 篇 ontology
  • 7 篇 knowledge repres...
  • 7 篇 programming tech...
  • 6 篇 software enginee...
  • 6 篇 data description

机构

  • 21 篇 vienna univ tech...
  • 11 篇 univ potsdam pot...
  • 10 篇 univ kentucky de...
  • 8 篇 univ bath dept c...
  • 8 篇 univ potsdam ins...
  • 7 篇 univ texas dept ...
  • 6 篇 new mexico state...
  • 6 篇 tu wien austria
  • 6 篇 inria rennes ren...
  • 6 篇 university of po...
  • 5 篇 univ potsdam ins...
  • 5 篇 univ a coruna la...
  • 5 篇 simon fraser uni...
  • 5 篇 univ genoa dibri...
  • 5 篇 univ calabria ar...
  • 5 篇 new mexico state...
  • 5 篇 univ calabria de...
  • 5 篇 univ alberta dep...
  • 4 篇 vienna universit...
  • 4 篇 university of ca...

作者

  • 35 篇 schaub torsten
  • 25 篇 gebser martin
  • 23 篇 ricca francesco
  • 19 篇 tompits hans
  • 18 篇 eiter thomas
  • 17 篇 woltran stefan
  • 16 篇 leone nicola
  • 14 篇 alviano mario
  • 12 篇 faber wolfgang
  • 12 篇 cabalar pedro
  • 11 篇 brain martin
  • 11 篇 de vos marina
  • 10 篇 calimeri frances...
  • 10 篇 fink michael
  • 10 篇 inoue katsumi
  • 9 篇 ianni giovambatt...
  • 9 篇 son tran cao
  • 8 篇 giordano laura
  • 8 篇 eiter t
  • 8 篇 lifschitz vladim...

语言

  • 713 篇 英文
  • 4 篇 中文
  • 2 篇 其他
检索条件"任意字段=7th International Conference on Logic Programming and Nonmonotonic Reasoning"
719 条 记 录,以下是611-620 订阅
排序:
Planning with different forms of domain-dependent control knowledge - An answer set programming approach
收藏 引用
6th international conference on logic programming and nonmonotonic reasoning, LPNMR 2001
作者: Son, Tran Cao Baral, Chitta McIlraith, Sheila Department of Computer Science New Mexico State University MSC CS PO Box 30001 Las Cruces NM 88003 United States Department of Computer Science and Engineering Arizona State University Tempe AZ 85287 United States Knowledge Systems Laboratory Computer Science Stanford University Stanford CA 94305 United States
In this paper we present a declarative approach to adding domain-dependent control knowledge for Answer Set Planning (ASP). Our approach allows different types of domain-dependent control knowledge such as hierarchica... 详细信息
来源: 评论
A Hoare-like calculus using the SROIQσ logic on transformations of graphs
A Hoare-like calculus using the SROIQσ logic on transformat...
收藏 引用
8th IFIP TC 1/WG 2.2 international conference on theoretical Computer Science, TCS 2014
作者: Brenas, Jon Haël Echahed, Rachid Strecker, Martin CNRS University of Grenoble France Université de Toulouse IRIT France
We tackle the problem of partial correctness of programs processing structures defined as graphs. We introduce a kernel imperative programming language endowed with atomic actions that participate in the transformatio... 详细信息
来源: 评论
Web Stream reasoning in Practice: On the Expressivity vs. Scalability Tradeoff  1
收藏 引用
9th international conference on Web reasoning and Rule Systems (RR)
作者: Germano, Stefano Pham, thu-Le Mileo, Alessandra Univ Calabria Dept Math & Comp Sci I-87036 Cosenza Italy Natl Univ Ireland Insight Ctr Data Analyt Galway Ireland
Advances in the Internet of things and the Web of Data created huge opportunities for developing applications that can generate actionable knowledge out of streaming data. the trade-off between scalability and express... 详细信息
来源: 评论
reasoning About Loops Using Vampire in KeY  20th
收藏 引用
20th international conference on logic for programming, Artificial Intelligence and reasoning (LPAR)
作者: Ahrendt, Wolfgang Kovacs, Laura Robillard, Simon Chalmers Univ Technol S-41296 Gothenburg Sweden
We describe symbol elimination and consequence finding in the first-order theorem prover Vampire for automatic generation of quantified invariants, possibly with quantifier alternations, of loops with arrays. Unlike t... 详细信息
来源: 评论
Power defaults (preliminary report)  4th
Power defaults (preliminary report)
收藏 引用
4th international conference on logic programming and Non-Monotonic reasoning, LPNMR 1997
作者: Zhang, Guo-Qiang Rounds, William C. Department of Computer Science University of Georgia AthensGA30602 United States Artificial Intelligence Laboratory University of Michigan Ann ArborMI48109 United States
We present a spectrum of default logics, using powerdoma~ns to encode default constraints. the resulting non-monotonic entailment relations all satisfy the law of reasoning by cases. this result is a consequence of tw... 详细信息
来源: 评论
Equivariant unification
Equivariant unification
收藏 引用
16th international conference on Rewriting Technique and Application (RAT 2005)
作者: Cheney, J Univ Edinburgh Edinburgh EH8 9YL Midlothian Scotland
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves as the basis of logic programming and... 详细信息
来源: 评论
Managing deceitful arguments with X-logics
Managing deceitful arguments with X-logics
收藏 引用
18th IEEE international conference on Tools with Artificial Intelligence, ICTAI 2006
作者: Aubry, Geoffroy Risch, Vincent LSIS UMR CNRS 6168 Domaine Universitaire de Saint-Jérôme 13397 Marseilles cedex 20 France
In most works on negotiation dialogues, agents are supposed to be ideally honest. However, there are many situations where such a behaviour cannot always be expected from the agents (e.g. advertising, political negoti... 详细信息
来源: 评论
Allotment Problem in Travel Industry: A Solution Based on ASP  1
收藏 引用
9th international conference on Web reasoning and Rule Systems (RR)
作者: Dodaro, Carmine Leone, Nicola Nardi, Barbara Ricca, Francesco Univ Calabria Dept Math & Comp Sci I-87036 Cosenza Italy
In the travel industry it is common for tour operators to pre-book from service suppliers blocks of package tours, which are called allotments in jargon. the selection of package tours is done according to several pre... 详细信息
来源: 评论
nonmonotonic reasoning with well founded semantics
Proceedings of the International Conference on Logic Program...
收藏 引用
Proceedings of the international conference on logic programming 1991年 475-475页
作者: Pereira, Luis Moniz Aparicio, Joaquim Nunes Alferes, Jose Julio
来源: 评论
Doctoral consortium extended abstract: Planning with concurrent transaction logic  13th
收藏 引用
13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015
作者: Basseda, Reza Stony Brook University Stony BrookNY11794 United States
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this thesis proposal, we argue that Concurrent Transaction logic (... 详细信息
来源: 评论