Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings

by Michael Gelfond (Editor), Nicole Leone (Editor), Gerald Pfeifer (Editor)

Overview

This book constitutes the refereed proceedings of the 5th Internationa l Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '9 9, held in El Paso, Texas, USA, in December 1999. The volume presents 26 contributed papers and four invited talks, three appearing as exten ded abstracts and one as a full paper. Topics covered include logic pr ogramming, non-monotonic reasoning, knowledge representation, semantic s, complexity, expressive power, and implementation and applications.

Product Details

ISBN-13:	9783540667490
Publisher:	Springer Berlin Heidelberg
Publication date:	01/07/2000
Series:	Lecture Notes in Computer Science , #1730
Edition description:	1999
Pages:	396
Product dimensions:	6.10(w) x 9.17(h) x 0.36(d)

Table of Contents

Contributed Papers.- Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.- Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.- Locally Determined Logic Programs.- Annotated Revision Programs.- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning.- An Argumentation Framework for Reasoning about Actions and Change.- Representing Transition Systems by Logic Programs.- Transformations of Logic Programs Related to Causality and Planning.- From Causal Theories to Logic Programs (Sometimes).- Monotone Expansion of Updates in Logical Databases.- Updating Extended Logic Programs through Abduction.- LUPS — A Language for Updating Logic Programs.- Pushing Goal Derivation in DLP Computations.- Linear Tabulated Resolution for the Well-Founded Semantics.- A Case Study in Using Preference Logic Grammars for Knowledge Representation.- Minimal Founded Semantics for Disjunctive Logic Programming.- On the Role of Negation in Choice Logic Programs.- Default Reasoning via Blocking Sets.- Coherent Well-founded Annotated Logic Programs.- Many-Valued Disjunctive Logic Programs with Probabilistic Semantics.- Extending Disjunctive Logic Programming by T-norms.- Extending the Stable Model Semantics with More Expressive Rules.- Stable Model Semantics of Weight Constraint Rules.- Towards First-Order Nonmonotonic Reasoning.- A Comparison of Sceptical NAF-Free Logic Programming Approaches.- Characterizations of Classes of Programs by Three-Valued Operators.- Invited Talks.- Using LPNMR for Problem Specification and Code Generation.- Answer Set Planning.- World-Modeling vs. World-Axiomatizing.- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems.