咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是291-300 订阅
排序:
plasp 3: Towards Effective ASP Planning  14th
<i>plasp</i> 3: Towards Effective ASP Planning
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Dimopoulos, Yannis Gebser, Martin Luehne, Patrick Romero, Javier Schaub, Torsten Univ Cyprus Nicosia Cyprus Univ Potsdam Potsdam Germany
We describe the new version of the PDDL-to-ASP translator plasp. First, it widens the range of accepted PDDL features. Second, it contains novel planning encodings, some inspired by SAT planning and others exploiting ... 详细信息
来源: 评论
Answer Set Programs with Queries over Subprograms  14th
Answer Set Programs with Queries over Subprograms
收藏 引用
14th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Redl, Christoph Tech Univ Wien Inst Informat Syst Favoritenstr 9-11 A-1040 Vienna Austria
Answer-Set programming (ASP) is a declarative programming paradigm. In this paper we discuss two related restrictions and present a novel modeling technique to overcome them: (1) Meta-reasoning about the collection of... 详细信息
来源: 评论
Loop Formulas for Splitable Temporal logic Programs
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Aguado, Felicidad Cabalar, Pedro Perez, Gilberto Vidal, Concepcion Univ A Coruna Dept Comp Sci La Coruna Spain
In this paper, we study a method for computing temporal equilibrium models, a generalisation of stable models for logic programs with temporal operators, as in Linear Temporal logic (LTL). To this aim, we focus on a s... 详细信息
来源: 评论
Answer set programming with clause learning  7
收藏 引用
7th international conference on logic programming and nonmonotonic reasoning , LPNMR 2004
作者: Ward, Jeffrey Schlipf, John S. The Ohio State University United States University of Cincinnati United States
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. this analysis can be used to further prune the search space and to direct the search heuristic. the use of such clauses has be... 详细信息
来源: 评论
Partial Preferences and Ambiguity Resolution in Contextual Defeasible logic
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Bikakis, Antonis Antoniou, Grigoris Univ Luxembourg Luxembourg Luxembourg FORTH Inst Comp Sci Iraklion Greece
Domains, such as Ambient Intelligence and Social Networks, are characterized by some common features including distribution of the available knowledge, entities with different backgrounds, viewpoints and operational e... 详细信息
来源: 评论
Causal reasoning for Planning and Coordination of Multiple Housekeeping Robots
收藏 引用
11th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Aker, Erdi Erdogan, Ahmetcan Erdem, Esra Patoglu, Volkan Sabanci Univ Fac Engn & Nat Sci Istanbul Turkey
We consider a housekeeping domain with multiple cleaning robots and represent it in the action language C+. With such a formalization of the domain, a plan can be computed using the causal reasoner CCALC for each robo... 详细信息
来源: 评论
Concrete Results on Abstract Rules
Concrete Results on Abstract Rules
收藏 引用
12th international conference on logic programming and nonmonotonic reasoning (LPNMR)
作者: Kroetzsch, Markus Magka, Despoina Horrocks, Ian Univ Oxford Dept Comp Sci Oxford OX1 2JD England
there are many different notions of "rule" in the literature. A key feature and main intuition of any such notion is that rules can be "applied" to derive conclusions from certain premises. More fo... 详细信息
来源: 评论
logic programming and nonmonotonic reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Francesco Calimeri Giovambattista Ianni Miroslaw Truszczynski
this volume contains the refereed proceedings of the 13th international conference on logic programming and nonmonotonic reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. the 290long and 11 short pa... 详细信息
来源: 评论
On the implementation of global abduction
收藏 引用
7th international Workshop on Computational logic in Multi-Agent Systems
作者: Christiansen, Henning Roskilde Univ Dept Comp Sci DK-4000 Roskilde Denmark
Global Abduction (GA) is a recently proposed logical formalism for agent oriented programming which allows an agent to collect information about the world and update this in a nonmonotonic: way when changes in the wor... 详细信息
来源: 评论
Extending disjunctive logic programming by T-norms  5th
收藏 引用
5th international conference on logic programming and nonmonotonic reasoning (LPNMR 99)
作者: Mateis, C Vienna Univ Technol Dept Informat Syst A-1040 Vienna Austria
this paper proposes a new knowledge representation language, called QDLP, which extends DLP to deal with uncertain values. A certainty degree interval (a subinterval of [0, 1]) is assigned to each (quantitative) rule.... 详细信息
来源: 评论