Skip to main content
SpringerLink
Log in
Book cover

Logic Programming

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Maria Garcia de la Banda

    1. Clayton School of Information Technology, Monash University, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Enrico Pontelli

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ICLP 2008.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (90 papers)

  1. Front Matter

    Download chapter 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

    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
Back to top

Other volumes

  1. Logic Programming

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation