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.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

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

Keywords

  • Debugging
  • Resolution
  • computational logics
  • constraint programming
  • logic
  • logic inference
  • logic programming
  • mathematical logic
  • program logics
  • programming language
  • programming theory
  • prolog programming
  • proving
  • semantics
  • verification

Editors and Affiliations

  • Katholieke Universiteit Leuven, Belgium

    Bart Demoen

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

    Vladimir Lifschitz

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions