Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540285380, 9783540318279

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Loops: Relevant or Redundant?

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_5 ◽

2005 ◽

pp. 53-65 ◽

Author(s):

Martin Gebser ◽

Torsten Schaub

Download Full-text

Halo I: A Controlled Experiment for Large Scale Knowledge Base Development

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_3 ◽

2005 ◽

pp. 26-39

Author(s):

Jürgen Angele ◽

Eddie Moench ◽

Henrik Oppermann ◽

Dirk Wenke

Keyword(s):

Knowledge Base ◽

Large Scale ◽

Controlled Experiment

Download Full-text

Lookahead in Smodels Compared to Local Consistencies in CSP

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_21 ◽

2005 ◽

pp. 266-278 ◽

Author(s):

Jia-Huai You ◽

Guohua Liu ◽

Li Yan Yuan ◽

Curtis Onuczko

Download Full-text

Abduction and Preferences in Linguistics

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_32 ◽

2005 ◽

pp. 384-388

Author(s):

Kathrin Konczak ◽

Ralf Vogel

Download Full-text

An Approximation of Action Theories of $\mathcal{AL}$ and Its Application to Conformant Planning

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_14 ◽

2005 ◽

pp. 172-184 ◽

Author(s):

Tran Cao Son ◽

Phan Huy Tu ◽

Michael Gelfond ◽

A. Ricardo Morales

Keyword(s):

Conformant Planning ◽

Action Theories

Download Full-text

Some Logical Properties of Nonmonotonic Causal Theories

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_16 ◽

2005 ◽

pp. 198-210 ◽

Author(s):

Marek Sergot ◽

Robert Craven

Keyword(s):

Causal Theories

Download Full-text

Routley Semantics for Answer Sets

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_27 ◽

2005 ◽

pp. 343-355 ◽

Author(s):

Sergei Odintsov ◽

David Pearce

Keyword(s):

Download Full-text

Data Integration and Answer Set Programming

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_2 ◽

2005 ◽

pp. 13-25 ◽

Author(s):

Thomas Eiter

Keyword(s):

Data Integration ◽

Answer Set Programming ◽

Download Full-text

KMonitor– A Tool for Monitoring Plan Execution in Action Theories

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_38 ◽

2005 ◽

pp. 416-421 ◽

Author(s):

Thomas Eiter ◽

Michael Fink ◽

Ján Senko

Keyword(s):

Plan Execution ◽

Monitoring Plan ◽

Action Theories

Download Full-text

Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates

Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science ◽

10.1007/11546207_4 ◽

2005 ◽

pp. 40-52 ◽

Author(s):

Wolfgang Faber

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text