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

  1. Front Matter
  2. Invited Talks

  3. Invited Tutorials

    1. Frank D. Valencia
      Pages 72-101
    2. François Fages
      Pages 102-102
    3. Paola Bruscoli, Alessio Guglielmi
      Pages 109-127
  4. Regular Papers

    1. Salvador Abreu, Daniel Diaz
      Pages 128-147
    2. Carles Farré, Ernest Teniente, Toni Urpí
      Pages 148-162
    3. Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo
      Pages 163-177
    4. Shekhar Pradhan
      Pages 178-193
    5. Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 194-208
    6. Zbigniew Lonc, Mirosław Truszczyński
      Pages 209-223
    7. Vitaly Lagoon, Fred Mesnard, Peter J. Stuckey
      Pages 254-268
    8. Ludovic Langevine, Mireille Ducassé, Pierre Deransart
      Pages 269-283

About these proceedings

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

  • 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