Advertisement

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. Open image in new window(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
      Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
      Pages 258-273
  8. Session 6. Verification

    1. Margus Veanes, Ando Saabas
      Pages 305-317
    2. Aniello Murano, Margherita Napoli, Mimmo Parente
      Pages 318-332
    3. Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
      Pages 333-342
    4. Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
      Pages 343-352
  9. Invited Talks

    1. Michael Backes, Matthias Berg, Dominique Unruh
      Pages 353-376
    2. Thomas Eiter, Magdalena Ortiz, Mantas Šimkus
      Pages 377-390
  10. Session 7. Knowledge Representation 2

    1. Birte Glimm, Yevgeny Kazakov
      Pages 391-405
    2. Michael Maher, Ge Huang
      Pages 421-435
    3. Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
      Pages 436-450
  11. Session 8. Proof-Theory 2

    1. Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
      Pages 451-466
    2. Kai Brünnler, Richard McKinley
      Pages 482-496
  12. Session 9. Quantified Constraints

    1. Peter Habermehl, Radu Iosif, Tomáš Vojnar
      Pages 558-573
  13. Session 10. Modal and Temporal Logics

    1. Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev
      Pages 574-589
    2. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
      Pages 590-604
    3. Walid Belkhir, Luigi Santocanale
      Pages 605-620
  14. Session 11. Rewriting

    1. Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas et al.
      Pages 636-651
    2. Nao Hirokawa, Georg Moser
      Pages 652-666
    3. Nao Hirokawa, Aart Middeldorp, Harald Zankl
      Pages 667-681
    4. Cynthia Kop, Femke van Raamsdonk
      Pages 697-711

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-540-89439-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-89438-4
  • Online ISBN 978-3-540-89439-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site