Skip to main content
SpringerLink
Log in
Book cover

Logic Programming

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Bart Demoen

    1. Katholieke Universiteit Leuven, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vladimir Lifschitz

    1. Department of Computer Sciences, University of Texas at Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICLP 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (46 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Termination by Abstraction

      • Nachum Dershowitz
      Pages 1-18

    2. Answer Set Programming and the Design of Deliberative Agents

      • Michael Gelfond
      Pages 19-26

  3. Regular Talks

    1. Analysis

      1. Abstract Domains Based on Regular Types
        • John P. Gallagher, Kim S. Henriksen
        Pages 27-42
      2. Termination of Logic Programs Using Various Dynamic Selection Rules
        • Jan-Georg Smaus
        Pages 43-57
      3. Improving Prolog Programs: Refactoring for Prolog
        • Tom Schrijvers, Alexander Serebrenik
        Pages 58-72

    2. Constraints I

      1. Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP
        • Islam Elkabani, Enrico Pontelli, Tran Cao Son
        Pages 73-89
      2. 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
      3. Compiling Ask Constraints
        • Gregory J. Duck, María García de la Banda, Peter J. Stuckey
        Pages 105-119
      4. 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. Simplifying Logic Programs Under Answer Set Semantics
        • David Pearce
        Pages 210-224
      4. 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
      3. <i>α</i>Prolog: A Logic Programming Language with Names, Binding and <i>α</i>-Equivalence
        • James Cheney, Christian Urban
        Pages 269-283
Back to top

Other volumes

  1. Logic Programming

Keywords

Editors and Affiliations

  • Katholieke Universiteit Leuven, Belgium

    Bart Demoen

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

    Vladimir Lifschitz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation