Logic programming

the long version

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings<br />Author: Bart Demoen, Vladimir Lifschitz<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-22671-0<br /> DOI: 10.1007/b99475<br /><br />Table of Contents:<p></p><ul><li>Termination by Abstraction </li><li>Answer Set Programming and the Design of Deliberative Agents </li><li>Abstract Domains Based on Regular Types </li><li>Termination of Logic Programs Using Various Dynamic Selection Rules </li><li>Improving Prolog Programs: Refactoring for Prolog </li><li>Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP </li><li>The Refined Operational Semantics of Constraint Handling Rules </li><li>Compiling Ask Constraints </li><li>Constraint Handling Rules and Tabled Execution </li><li>Possible Worlds Semantics for Probabilistic Logic Programs </li><li>Limiting Resolution: From Foundations to Implementation </li><li>Generalised Kernel Sets for Inverse Entailment </li><li>On Programs with Linearly Ordered Multiple Preferences </li><li>Splitting an Operator </li><li>Simplifying Logic Programs Under Answer Set Semantics </li><li>On Acyclic and Head-Cycle Free Nested Logic Programs </li><li>Fast Query Evaluation with (Lazy) Control Flow Compilation </li><li>Speculative Computations in Or-Parallel Tabled Logic Programs </li><li>αProlog: A Logic Programming Language with Names, Binding and α-Equivalence </li><li>Implementation Results in Classical Constructive Negation</li></ul>