Logic programming and nonmonotonic reasoning

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings
Author: Vladimir Lifschitz, Ilkka Niemelä
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-20721-4
DOI: 10.1007/b94792

Table of Contents:

• Constraints and Probabilistic Networks: A Look At The Interface
• Toward A Universal Inference Engine
• Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
• Semantics for Dynamic Logic Programming: A Principle-Based Approach
• Probabilistic Reasoning With Answer Sets
• Answer Sets: From Constraint Programming Towards Qualitative Optimization
• A Logic of Non-monotone Inductive Definitions and Its Modularity Properties
• Reasoning About Actions and Change in Answer Set Programming
• Almost Definite Causal Theories
• Simplifying Logic Programs Under Uniform and Strong Equivalence
• Towards Automated Integration of Guess and Check Programs in Answer Set Programming
• Towards Automated Integration of Guess and Check Programs in Answer Set Programming
• Graphs and Colorings for Answer Set Programming: Abridged Report
• Nondefinite vs. Definite Causal Theories
• Logic Programs With Monotone Cardinality Atoms
• Set Constraints in Logic Programming
• Verifying the Equivalence of Logic Programs in the Disjunctive Case
• Uniform Equivalence for Equilibrium Logic and Logic Programs
• Partial Stable Models for Logic Programs with Aggregates
• Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs