© 2008

Logic for Programming, Artificial Intelligence, and Reasoning

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

  • Iliano Cervesato
  • Helmut Veith
  • Andrei Voronkov
Conference proceedings LPAR 2008

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 5330)

Table of contents

  1. Front Matter
  2. Session 1. Constraint Solving

    1. Joao Marques-Silva, Inês Lynce, Vasco Manquinho
      Pages 1-15
    2. Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
      Pages 16-30
    3. Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
      Pages 31-46
    4. Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
      Pages 47-61
  3. Session 2. Knowledge Representation 1

    1. Reinhard Pichler, Vadim Savenkov
      Pages 62-78
    2. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
      Pages 79-96
    3. Leonid Libkin, Cristina Sirangelo
      Pages 97-112
    4. Vincent Armant, Philippe Dague, Laurent Simon
      Pages 113-127
  4. Session 3. Proof-Theory 1

    1. Myrto Arapinis, Stéphanie Delaune, Steve Kremer
      Pages 128-142
    2. Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
      Pages 143-157
    3. Murdoch J. Gabbay, Martin Hofmann
      Pages 158-173
  5. Invited Talk

  6. Session 4. Automata

    1. Benjamin Aminof, Orna Kupferman, Omer Lev
      Pages 183-197
    2. Anthony Widjaja To, Leonid Libkin
      Pages 198-213
    3. Christian Dax, Felix Klaedtke
      Pages 214-229
    4. Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera
      Pages 230-242
  7. Session 5. Linear Arithmetic

    1. Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
      Pages 258-273

About these proceedings


This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.

The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.


Artificial intelligence Automat Constraint automata automated reasoning intelligence knowledge knowledge representation logic programming programming language proof theory tar verification

Editors and affiliations

  • Iliano Cervesato
    • 1
  • Helmut Veith
    • 2
  • Andrei Voronkov
    • 3
  1. 1.Carnegie Mellon University, DohaQatar
  2. 2.Technische Universität DarmstadtGermany
  3. 3.University of ManchesterUK

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences