Logic Programming

1. Front Matter

   PDF

2. Invited Talk

   1. The Life of a Logic Programming System

      • Vítor Santos Costa

      Pages 1-6

3. Special Session

   1. Uniting the Prolog Community

      • Tom Schrijvers, Bart Demoen

      Pages 7-8

4. Invited Tutorials

   1. Constraint Handling Rules

      • Tom Schrijvers

      Pages 9-10

   2. Back to Interval Temporal Logics

      • Angelo Montanari

      Pages 11-13

   3. Systems Biology: Models and Logics

      • Carla Piazza, Alberto Policriti

      Pages 14-14

   4. Separation Logic Tutorial

      • Peter O’Hearn

      Pages 15-21

5. Years of Stable Models Semantics Celebration

   1. Invited Presentations

      1. Authorization and Obligation Policies in Dynamic Systems

         • Michael Gelfond, Jorge Lobo

         Pages 22-36

      2. Twelve Definitions of a Stable Model

         • Vladimir Lifschitz

         Pages 37-51

      3. Sixty Years of Stable Models

         • David Pearce

         Pages 52-52

      4. The DLV Project: A Tour from Theory and Research to Applications and Market

         • Nicola Leone, Wolfgang Faber

         Pages 53-68

   2. Invited Position Presentations

      1. Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions

         • Chitta Baral

         Pages 69-70

      2. Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic

         • Marc Denecker, Joost Vennekens

         Pages 71-76

      3. SMS and ASP: Hype or TST?

         • Thomas Eiter

         Pages 77-82

      4. Quo Vadis Answer Set Programming?

         • V. W. Marek

         Pages 83-87

      5. Answer Set Programming without Unstratified Negation

         • Ilkka Niemelä

         Pages 88-92

      6. Here’s the Beef: Answer Set Programming !

         • Torsten Schaub

         Pages 93-98

   3. Best Paper Awardees

      1. Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There

         • Michael Fink

         Pages 99-113

      2. Dynamic Programming Algorithms as Products of Weighted Logic Programs

         • Shay B. Cohen, Robert J. Simmons, Noah A. Smith

         Pages 114-129

6. Regular Papers

   1. Applications I

      1. Detecting Inconsistencies in Large Biological Networks with Answer Set Programming

         • Martin Gebser, Torsten Schaub, Sven Thiele, Björn Usadel, Philippe Veber

         Pages 130-144

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
• data structures

• Clayton School of Information Technology, Monash University, Australia

  Maria Garcia de la Banda

• Department of Computer Science, New Mexico State University, Las Cruces, USA

  Enrico Pontelli

Policies and ethics