Skip to main content
  • Conference proceedings
  • © 2003

Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

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

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

Conference proceedings info: ICLP 2003.

Buy it now

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 129.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 (50 papers)

  1. Front Matter

  2. Invited Talks

    1. Achieving Type Safety for Low-Level Code

      • Greg Morrisett
      Pages 1-2
    2. Compositional Verification of Infinite State Systems

      • Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
      Pages 47-48
  3. Invited Tutorials

    1. Concurrency, Time, and Constraints

      • Frank D. Valencia
      Pages 72-101
    2. Symbolic Model-Checking for Biochemical Systems

      • François Fages
      Pages 102-102
    3. A Tutorial on Proof Theoretic Foundations of Logic Programming

      • Paola Bruscoli, Alessio Guglielmi
      Pages 109-127
  4. Regular Papers

    1. Objective: In Minimum Context

      • Salvador Abreu, Daniel Diaz
      Pages 128-147
    2. Handling Existential Derived Predicates in View Updating

      • Carles Farré, Ernest Teniente, Toni Urpí
      Pages 148-162
    3. Efficient Evaluation of Logic Programs for Querying Data Integration Systems

      • Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
      Pages 163-177
    4. Argumentation Databases

      • Shekhar Pradhan
      Pages 178-193
    5. Order and Negation as Failure

      • Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 194-208
    6. Computing Minimal Models, Stable Models, and Answer Sets

      • Zbigniew Lonc, MirosÅ‚aw TruszczyÅ„ski
      Pages 209-223
    7. Termination Analysis with Types Is More Accurate

      • Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey
      Pages 254-268
    8. A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation

      • Ludovic Langevine, Mireille Ducassé, Pierre Deransart
      Pages 269-283

Other Volumes

  1. Logic Programming

Editors and Affiliations

  • Ecole Polytechnique, Palaiseau Cedex, France

    Catuscia Palamidessi

Bibliographic Information

Buy it now

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 129.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