Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings: Lecture Notes in Computer Science, cartea 1730

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.

Includes supplementary material: sn.pub/extras