Skip to main content
  • Conference proceedings
  • © 2004

Logic Programming

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

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3132)

Conference series link(s): ICLP: International Conference on Logic Programming

Conference proceedings info: ICLP 2004.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (46 papers)

  1. Front Matter

  2. Invited Talks

    1. Termination by Abstraction

      • Nachum Dershowitz
      Pages 1-18
  3. Regular Talks

    1. Analysis

      1. Abstract Domains Based on Regular Types
        • John P. Gallagher, Kim S. Henriksen
        Pages 27-42
      2. Improving Prolog Programs: Refactoring for Prolog
        • Tom Schrijvers, Alexander Serebrenik
        Pages 58-72
    2. Constraints I

      1. The Refined Operational Semantics of Constraint Handling Rules
        • Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur
        Pages 90-104
      2. Compiling Ask Constraints
        • Gregory J. Duck, María García de la Banda, Peter J. Stuckey
        Pages 105-119
      3. Constraint Handling Rules and Tabled Execution
        • Tom Schrijvers, David S. Warren
        Pages 120-136
    3. Alternative Paradigms I

      1. Possible Worlds Semantics for Probabilistic Logic Programs
        • Alex Dekhtyar, Michael I. Dekhtyar
        Pages 137-148
      2. Limiting Resolution: From Foundations to Implementation
        • Patrick Caldon, Eric Martin
        Pages 149-164
      3. Generalised Kernel Sets for Inverse Entailment
        • Oliver Ray, Krysia Broda, Alessandra Russo
        Pages 165-179
    4. Answer Set Programming I

      1. On Programs with Linearly Ordered Multiple Preferences
        • Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
        Pages 180-194
      2. Splitting an Operator
        • Joost Vennekens, David Gilis, Marc Denecker
        Pages 195-209
      3. On Acyclic and Head-Cycle Free Nested Logic Programs
        • Thomas Linke, Hans Tompits, Stefan Woltran
        Pages 225-239
    5. Implementation

      1. Fast Query Evaluation with (Lazy) Control Flow Compilation
        • Remko Tronçon, Gerda Janssens, Henk Vandecasteele
        Pages 240-253
      2. Speculative Computations in Or-Parallel Tabled Logic Programs
        • Ricardo Rocha, Fernando Silva, Vítor Santos Costa
        Pages 254-268

Other Volumes

  1. Logic Programming

Editors and Affiliations

  • Katholieke Universiteit Leuven, Belgium

    Bart Demoen

  • Department of Computer Sciences, University of Texas at Austin, USA

    Vladimir Lifschitz

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access