Logic Programming

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

  • Maria Garcia de la Banda
  • Enrico Pontelli

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-540-89982-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-89981-5
  • Online ISBN 978-3-540-89982-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book