Logic Programming

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

  • Catuscia Palamidessi
Conference proceedings ICLP 2003

DOI: 10.1007/b94619

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

Table of contents (50 papers)

  1. Front Matter
  2. Invited Talks

  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

About these proceedings


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

  • Catuscia Palamidessi
    • 1
  1. 1.Ecole PolytechniquePalaiseau CedexFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20642-2
  • Online ISBN 978-3-540-24599-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349