Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 ProceedingsAuthor: Vladimir Lifschitz, Ilkka Niemelä Published by Springer Berlin Heidelberg ISBN: 978-3-540-20721-4 DOI: 10.1007/b94792Table 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