Logic Programming

20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Editors:

ISBN: 978-3-540-22671-0 (Print) 978-3-540-27775-0 (Online)

Table of contents (46 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-18

      Termination by Abstraction

    2. No Access

      Book Chapter

      Pages 19-26

      Answer Set Programming and the Design of Deliberative Agents

  3. Regular Talks

    1. Answer Set Programming I

      1. No Access

        Book Chapter

        Pages 180-194

        On Programs with Linearly Ordered Multiple Preferences

      2. No Access

        Book Chapter

        Pages 195-209

        Splitting an Operator

      3. No Access

        Book Chapter

        Pages 210-224

        Simplifying Logic Programs Under Answer Set Semantics

      4. No Access

        Book Chapter

        Pages 225-239

        On Acyclic and Head-Cycle Free Nested Logic Programs

      Implementation

      1. No Access

        Book Chapter

        Pages 240-253

        Fast Query Evaluation with (Lazy) Control Flow Compilation

      2. No Access

        Book Chapter

        Pages 254-268

        Speculative Computations in Or-Parallel Tabled Logic Programs

      3. No Access

        Book Chapter

        Pages 269-283

        αProlog: A Logic Programming Language with Names, Binding and α-Equivalence

      4. No Access

        Book Chapter

        Pages 284-298

        Implementation Results in Classical Constructive Negation

      Analysis

      1. No Access

        Book Chapter

        Pages 27-42

        Abstract Domains Based on Regular Types

      2. No Access

        Book Chapter

        Pages 43-57

        Termination of Logic Programs Using Various Dynamic Selection Rules

      3. No Access

        Book Chapter

        Pages 58-72

        Improving Prolog Programs: Refactoring for Prolog

      Constraints I

      1. No Access

        Book Chapter

        Pages 73-89

        Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP

      2. No Access

        Book Chapter

        Pages 90-104

        The Refined Operational Semantics of Constraint Handling Rules

      3. No Access

        Book Chapter

        Pages 105-119

        Compiling Ask Constraints

      4. No Access

        Book Chapter

        Pages 120-136

        Constraint Handling Rules and Tabled Execution

      Alternative Paradigms I

      1. No Access

        Book Chapter

        Pages 137-148

        Possible Worlds Semantics for Probabilistic Logic Programs

      2. No Access

        Book Chapter

        Pages 149-164

        Limiting Resolution: From Foundations to Implementation

      3. No Access

        Book Chapter

        Pages 165-179

        Generalised Kernel Sets for Inverse Entailment

previous Page of 3