This book constitutes the refereed proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '99, held in El Paso, Texas, USA, in December 1999.
The volume presents 26 contributed papers and four invited talks, three appearing as extended abstracts and one as a full paper. Topics covered include logic programming, non-monotonic reasoning, knowledge representation, semantics, complexity, expressive power, and implementation and applicatons.
Author(s): Georg Gottlob, Francesco Scarcello, Martha Sideri (auth.), Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
Series: Lecture Notes in Computer Science 1730 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 396
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning....Pages 1-18
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power....Pages 19-33
Locally Determined Logic Programs....Pages 34-48
Annotated Revision Programs....Pages 49-62
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning....Pages 63-77
An Argumentation Framework for Reasoning about Actions and Change....Pages 78-91
Representing Transition Systems by Logic Programs....Pages 92-106
Transformations of Logic Programs Related to Causality and Planning....Pages 107-116
From Causal Theories to Logic Programs (Sometimes)....Pages 117-131
Monotone Expansion of Updates in Logical Databases....Pages 132-146
Updating Extended Logic Programs through Abduction....Pages 147-161
LUPS — A Language for Updating Logic Programs....Pages 162-176
Pushing Goal Derivation in DLP Computations....Pages 177-191
Linear Tabulated Resolution for the Well-Founded Semantics....Pages 192-205
A Case Study in Using Preference Logic Grammars for Knowledge Representation....Pages 206-220
Minimal Founded Semantics for Disjunctive Logic Programming....Pages 221-235
On the Role of Negation in Choice Logic Programs....Pages 236-246
Default Reasoning via Blocking Sets....Pages 247-261
Coherent Well-founded Annotated Logic Programs....Pages 262-276
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics....Pages 277-289
Extending Disjunctive Logic Programming by T -norms....Pages 290-304
Extending the Stable Model Semantics with More Expressive Rules....Pages 305-316
Stable Model Semantics of Weight Constraint Rules....Pages 317-331
Towards First-Order Nonmonotonic Reasoning....Pages 332-346
A Comparison of Sceptical NAF-Free Logic Programming Approaches....Pages 347-356
Characterizations of Classes of Programs by Three-Valued Operators....Pages 357-371
Using LPNMR for Problem Specification and Code Generation....Pages 372-372
Answer Set Planning....Pages 373-374
World-Modeling vs. World-Axiomatizing....Pages 375-388
Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems....Pages 389-389
