Advertisement

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
      3. Susana Muñoz-Hernández, Juan José Moreno-Navarro
        Pages 284-298
    6. Constraints II

      1. Eric Monfroy, Frédéric Saubion, Tony Lambert
        Pages 299-313
      2. Jia-Huai You, Guiwen Hou
        Pages 314-328
      3. Nicolas Beldiceanu, Emmanuel Poder
        Pages 329-342
      4. Camilo Rueda, Frank D. Valencia
        Pages 343-355
    7. Answer Set Programming II

      1. Toshiko Wakaki, Katsumi Inoue
        Pages 356-370
      2. Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone
        Pages 371-385
      3. Esra Erdem, Martin D. F. Wong
        Pages 386-399
      4. Xiumei Jia, Jia-Huai You, Li Yan Yuan
        Pages 400-415
    8. Alternative Paradigms II

      1. Joost Vennekens, Sofie Verbaeten, Maurice Bruynooghe
        Pages 431-445
  4. Poster Presentations

    1. Elvira Albert, Germán Puebla, Manuel Hermenegildo
      Pages 446-447
    2. Steve Barker
      Pages 448-449
    3. François Bry, Paula-Lavinia Pătrânjan, Sebastian Schaffert
      Pages 450-451
    4. Alessandro Dal Palù, Agostino Dovier, Federico Fogolari
      Pages 452-453
    5. Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau
      Pages 454-455
    6. Pierre Deransart
      Pages 456-457
    7. Dávid Hanák, Tamás Szeredi, Péter Szeredi
      Pages 458-459
    8. Rohit N. Kundaji, R. K. Shyamasundar
      Pages 460-461
    9. Massimo Marchi, Alessandra Mileo, Alessandro Provetti
      Pages 464-466
  5. Back Matter

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
  • Buy this book on publisher's site