Logic Programming

24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

  • Maria Garcia de la Banda
  • Enrico Pontelli
Conference proceedings ICLP 2008

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Vítor Santos Costa
      Pages 1-6
  3. Special Session

    1. Tom Schrijvers, Bart Demoen
      Pages 7-8
  4. Invited Tutorials

    1. Tom Schrijvers
      Pages 9-10
    2. Angelo Montanari
      Pages 11-13
    3. Carla Piazza, Alberto Policriti
      Pages 14-14
    4. Peter O’Hearn
      Pages 15-21
  5. Years of Stable Models Semantics Celebration

    1. Invited Presentations

      1. Michael Gelfond, Jorge Lobo
        Pages 22-36
      2. Vladimir Lifschitz
        Pages 37-51
      3. David Pearce
        Pages 52-52
    2. Invited Position Presentations

    3. Best Paper Awardees

  6. Regular Papers

    1. Applications I

      1. Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber
        Pages 130-144
      2. Alessandra Mileo, Davide Merico, Roberto Bisiani
        Pages 145-159
      3. Georg Boenn, Martin Brain, Marina De Vos, John ffitch
        Pages 160-174
    2. Algorithms, Systems, and Implementations I

      1. Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
        Pages 175-189
      2. Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Sven Thiele
        Pages 190-205
      3. Rui Marques, Terrance Swift
        Pages 206-222
    3. Semantics and Foundations I

      1. Joseph P. Near, William E. Byrd, Daniel P. Friedman
        Pages 238-252
      2. Luciano Caroprese, Mirosław Truszczyński
        Pages 269-283
    4. Analysis and Transformations

      1. Valerio Senni, Alberto Pettorossi, Maurizio Proietti
        Pages 284-300
      2. Eric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest, M. Hermenegildo
        Pages 301-316
      3. María Alpuente, Santiago Escobar, José Iborra
        Pages 317-331
      4. Christian Schulte, Peter J. Stuckey
        Pages 332-346
    5. Semantics and Foundations II

      1. Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
        Pages 362-376
      2. Yuliya Lierler
        Pages 377-391
    6. Semantics and Foundations III

      1. Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone
        Pages 407-424
      2. Sabrina Baselice, Piero A. Bonatti
        Pages 425-439
    7. Applications II

      1. Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma et al.
        Pages 440-454
      2. Gergely Lukácsy, Péter Szeredi, Balázs Kádár
        Pages 455-469
    8. CHRs and Extensions

      1. Peter Van Weert
        Pages 485-500
      2. Paolo Pilozzi, Danny De Schreye
        Pages 501-515
      3. Tom Schrijvers, Martin Sulzmann
        Pages 516-530
      4. Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey
        Pages 531-545
    9. Semantics and Foundations IV

About these proceedings


This book constitutes the refereed proceedings of the 24th International Conference on Logic Programming, ICLP 2008, held in Udine, Italy, in December 2008.

The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2008), as well as 26 poster presentations and the abstracts of 11 doctoral consortium articles were carefully reviewed and selected from 177 initial submissions. The papers cover all issues of current research in logic programming - they are organized in topical sections on applications, algorithms, systems, and implementations, semantics and foundations, analysis and transformations, CHRs and extensions, implementations and systems, answer set programming and extensions, as well as constraints and optimizations.


abstract interpretation algorithms answer set programming answer sets computational logics constraint logic programming deduction description logic formal verification fuzzy logic game semantics linear optimization logic logic programming optimization

Editors and affiliations

  • Maria Garcia de la Banda
    • 1
  • Enrico Pontelli
    • 2
  1. 1.Clayton School of Information TechnologyMonash UniversityAustralia
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-89981-5
  • Online ISBN 978-3-540-89982-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment