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.

Buying options

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

Keywords

  • complexity
  • computational logic
  • constraint logic
  • deduction
  • distributed systems
  • logic
  • logic inference
  • logic programming
  • mathematical logic
  • program semantics
  • programming
  • prolog programming
  • semantic web
  • semantics
  • verification

Editors and Affiliations

  • Ecole Polytechnique, Palaiseau Cedex, France

    Catuscia Palamidessi

Bibliographic Information

Buying options

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