咨询与建议

限定检索结果

文献类型

  • 572 篇 会议
  • 34 篇 期刊文献
  • 19 册 图书

馆藏范围

  • 625 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 549 篇 工学
    • 545 篇 计算机科学与技术...
    • 304 篇 软件工程
    • 16 篇 电气工程
    • 13 篇 信息与通信工程
    • 13 篇 控制科学与工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 农业工程
    • 1 篇 建筑学
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
    • 1 篇 核科学与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 食品科学与工程(可...
  • 97 篇 理学
    • 90 篇 数学
    • 5 篇 物理学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 生物学
  • 26 篇 管理学
    • 19 篇 图书情报与档案管...
    • 8 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 临床医学

主题

  • 221 篇 logic programmin...
  • 45 篇 answer set progr...
  • 39 篇 semantics
  • 23 篇 computer circuit...
  • 21 篇 knowledge repres...
  • 19 篇 nonmonotonic rea...
  • 18 篇 artificial intel...
  • 15 篇 formal logic
  • 11 篇 mathematical log...
  • 10 篇 logics and meani...
  • 8 篇 answer-set progr...
  • 8 篇 description logi...
  • 8 篇 atoms
  • 8 篇 programming tech...
  • 7 篇 inductive logic ...
  • 6 篇 software enginee...
  • 6 篇 asp
  • 6 篇 knowledge repres...
  • 6 篇 semantic web
  • 6 篇 stable models

机构

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

作者

  • 32 篇 schaub torsten
  • 24 篇 gebser martin
  • 22 篇 ricca francesco
  • 18 篇 leone nicola
  • 18 篇 tompits hans
  • 17 篇 eiter thomas
  • 16 篇 woltran stefan
  • 16 篇 alviano mario
  • 13 篇 faber wolfgang
  • 13 篇 cabalar pedro
  • 10 篇 ianni giovambatt...
  • 9 篇 lifschitz vladim...
  • 9 篇 calimeri frances...
  • 9 篇 fink michael
  • 9 篇 pearce david
  • 9 篇 you jia-huai
  • 8 篇 eiter t
  • 8 篇 leite joao
  • 8 篇 leone n
  • 8 篇 son tran cao

语言

  • 618 篇 英文
  • 4 篇 其他
  • 3 篇 中文
检索条件"任意字段=10th International Conference on Logic Programming and Nonmonotonic Reasoning"
625 条 记 录,以下是61-70 订阅
排序:
logic programming Techniques in Protein Structure Determination: Methodologies and Results
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Dal Palu, Alessandro Dovier, Agostino Pontelli, Enrico Univ Parma Dept Math I-43100 Parma Italy Univ Udine Dept Math & Comp Sci Udine Italy New Mexico State Univ Dept Comp Sci Mexico City DF Mexico
the purpose of this paper is to provide a brief overview of how logic programming technology has been used by our team in addressing the problem of tertiary protein structure determination. the proposed approach tackl... 详细信息
来源: 评论
Strong and uniform equivalence of nonmonotonic theories-An algebraic approach
Strong and uniform equivalence of nonmonotonic theories-An a...
收藏 引用
10th international conference on Principles of Knowledge Representation and reasoning, KR 2006
作者: Truszczyński, Miroslaw Department of Computer Science University of Kentucky Lexington KY 40506-0046 United States
We show that the concepts of strong and uniform equivalence of logic programs can be generalized to an abstract algebraic setting of operators on complete lattices. Our results imply characterizations of strong and un... 详细信息
来源: 评论
Computing Weighted Solutions in Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Cakmak, Duygu Erdem, Esra Erdogan, Halit Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to Solutions, and then pick the ones whose weights are over (resp. be... 详细信息
来源: 评论
the Second Answer Set programming Competition
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Denecker, Marc Vennekens, Joost Bond, Stephen Gebser, Martin Truszczynski, Miroslaw Katholieke Univ Leuven Dept Comp Sci Celestijnenlaan 200A B-3001 Heverlee Belgium Univ Potsdam Inst Informat D-14482 Potsdam Germany Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
this paper reports oil the Second Answer Set programming Competition. the competitions in areas of Satisfiability checking, Pseudo-Boolean constraint solving and Quantified Boolean Formula evaluation have proven to be... 详细信息
来源: 评论
Fixed-parameter complexity in Al and nonmonotonic reasoning
收藏 引用
ARTIFICIAL INTELLIGENCE 2002年 第1-2期138卷 55-86页
作者: Gottlob, G Scarcello, F Sideri, M Univ Calabria Dipartimento Elettron Informat & Sistemist I-87036 Arcavacata Di Rende CS Italy Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria Athens Univ Econ & Business Dept Informat GR-10434 Athens Greece
Many relevant intractable problems become tractable if some problem parameter is fixed. However, various problems exhibit very different computational properties, depending on how the runtime required for solving them... 详细信息
来源: 评论
On Reductive Semantics of Aggregates in Answer Set programming
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Lee, Joohyung Meng, Yunsong Arizona State Univ Tempe AZ 85287 USA
Several proposals of the semantics of aggregates are based oil different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building upon a reductive approach to designin... 详细信息
来源: 评论
Trichotomy Results on the Complexity of reasoning with Disjunctive logic Programs
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Truszczynski, Miroslaw Univ Kentucky Dept Comp Sci Lexington KY 40506 USA
We present trichotomy results characterizing the complexity of reasoning with disjunctive logic programs. To this end, we introduce a certain definition schema for classes of programs based on a set of allowed arities... 详细信息
来源: 评论
Irrelevant updates and nonmonotonic assumptions
Irrelevant updates and nonmonotonic assumptions
收藏 引用
10th European conference on logics in Artificial Intelligence
作者: Sefranek, Jan Comenius Univ Bratislava Slovakia
the second postulate of Katsuno and Mendelzon characterizes irrelevant updates. We show that the postulate has to be modified, if nonmonotonic assumptions are considered. Our characterization of irrelevant updates is ... 详细信息
来源: 评论
A Monotonic View on Reflexive Autoepistemic reasoning  14th
A Monotonic View on Reflexive Autoepistemic Reasoning
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Su, Ezgi Iraz Univ Lisbon CMAF CIO P-1749016 Lisbon Portugal
this paper introduces a novel monotonic modal logic, able to characterise reflexive autoepistemic reasoning of the nonmonotonic variant of modal logic SW5: we add a second new modal operator into the original language... 详细信息
来源: 评论
Representing Multi-agent Planning in CLP
收藏 引用
10th international conference on logic programming and nonmonotonic reasoning
作者: Dovier, Agostino Formisano, Andrea Pontelli, Enrico Univ Udine I-33100 Udine Italy Univ Perugia I-06100 Perugia Italy New Mexico State Univ Las Cruces NM 88003 USA
We explore the use, of Constraint;Lopic programming (CLP) as a platform for experimenting with planning domains ill presence of multiple interacting agents. We develop a novel constraint-based action language B-MAP th... 详细信息
来源: 评论