Logic Programming

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

  • Bart Demoen
  • Vladimir Lifschitz
Conference proceedings ICLP 2004

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Nachum Dershowitz
      Pages 1-18
  3. Regular Talks

    1. Analysis

      1. John P. Gallagher, Kim S. Henriksen
        Pages 27-42
      2. Tom Schrijvers, Alexander Serebrenik
        Pages 58-72
    2. Constraints I

      1. Gregory J. Duck, Peter J. Stuckey, María García de la Banda, Christian Holzbaur
        Pages 90-104
      2. Gregory J. Duck, María García de la Banda, Peter J. Stuckey
        Pages 105-119
      3. Tom Schrijvers, David S. Warren
        Pages 120-136
    3. Alternative Paradigms I

      1. Alex Dekhtyar, Michael I. Dekhtyar
        Pages 137-148
      2. Patrick Caldon, Eric Martin
        Pages 149-164
      3. Oliver Ray, Krysia Broda, Alessandra Russo
        Pages 165-179
    4. Answer Set Programming I

      1. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
        Pages 180-194
      2. Joost Vennekens, David Gilis, Marc Denecker
        Pages 195-209
      3. Thomas Linke, Hans Tompits, Stefan Woltran
        Pages 225-239
    5. Implementation

      1. Remko Tronçon, Gerda Janssens, Henk Vandecasteele
        Pages 240-253
      2. Ricardo Rocha, Fernando Silva, Vítor Santos Costa
        Pages 254-268

About these proceedings

Keywords

Debugging Resolution computational logics constraint programming logic logic inference logic programming mathematical logic program logics programming language programming theory prolog programming proving semantics verification

Editors and affiliations

  • Bart Demoen
    • 1
  • Vladimir Lifschitz
    • 2
  1. 1.Katholieke Universiteit LeuvenBelgium
  2. 2.Department of Computer SciencesUniversity of Texas at AustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b99475
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22671-0
  • Online ISBN 978-3-540-27775-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book