This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.
Author(s): Jürgen Dix (auth.), Thomas Eiter, Wolfgang Faber, Miros law Truszczyński (eds.)
Series: Lecture Notes in Computer Science 2173 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 454
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques
A Computational Logic Approach to Heterogenous Agent Systems....Pages 1-21
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto ....Pages 21-41
On The Complexity of Model Checking and Inference in Minimal Models....Pages 42-53
Data Integration Needs Reasoning....Pages 54-61
Nonmonotomic Inductive Logic Programming....Pages 62-80
Strong Equivalence for Logic Programs and Default Theories (Made Easy)....Pages 81-92
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules....Pages 93-106
On the Expressibility of Stable Logic Programming....Pages 107-120
On the Relationship between Defeasible Logic and Well-Founded Semantics....Pages 121-132
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs....Pages 133-146
Reasoning with Open Logic Programs....Pages 147-159
Representation of Incomplete Knowledge by Induction of Default Theories....Pages 160-172
Explicity Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules....Pages 173-185
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming....Pages 186-199
Bounded LTL Model Checking with Stable Models....Pages 200-212
Diagnosing Physical Systems in A-Prolog....Pages 213-225
Planning with Different Forms of Domain-Dependent Control Knowledge — An Answer Set Programming Approach....Pages 226-239
Encoding Solutions of the Frame Problem in Dynamic Logic....Pages 240-253
ε - RES : Reasoning about Actions, Events and Observations....Pages 254-267
Omega-Restricted Logic Programs....Pages 267-280
Improving ASP Instantiators by Join-Ordering Methods....Pages 280-294
Optimizing the Computation of Heuristics for Answer Set Programming Systems....Pages 295-308
New Generation Systems for Non-monotonic Reasoning....Pages 309-321
Algorithms for Computing X -Minimal Models....Pages 322-335
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 336-350
Multi-adjoint Logic Programming with Continous Semantics....Pages 351-364
Multi-dimensional Dynamic Knowledge Representation....Pages 365-378
Antitonic Logic Programs....Pages 379-393
A -system: Declarative Programming with Abduction....Pages 393-397
An Update Front-End for Extended Logic Programs....Pages 397-401
aspps — An Implementation of Answer-Set Programming with Propositional Schemata....Pages 402-405
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics....Pages 406-410
plp : A Generic Compiler for Ordered Logic Programs....Pages 411-415
Prototypes for Reasoning with Infinite Stable Models and Function Symbols....Pages 416-419
psmodels: Stable Models Based on Pertinence....Pages 420-423
System Description: DLV....Pages 424-428
System Description: The DLV K Planning System....Pages 429-433
The Smodels System....Pages 434-438
The USA-Advisor: A Case Study in Answer Set Planning....Pages 439-442
