Skip to main content
SpringerLink
Log in

Logic for Programming, Artificial Intelligence, and Reasoning

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Iliano Cervesato

    1. Carnegie Mellon University, Doha, Qatar

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Helmut Veith

    1. Technische Universität Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrei Voronkov

    1. University of Manchester, UK

    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 5330)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: LPAR 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 (49 papers)

  1. Front Matter

    Download chapter PDF

  2. Session 1. Constraint Solving

    1. Symmetry Breaking for Maximum Satisfiability

      • Joao Marques-Silva, Inês Lynce, Vasco Manquinho
      Pages 1-15

    2. Efficient Generation of Unsatisfiability Proofs and Cores in SAT

      • Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
      Pages 16-30

    3. Justification-Based Local Search with Adaptive Noise Strategies

      • Matti Järvisalo, Tommi Junttila, Ilkka Niemelä
      Pages 31-46

    4. The Max-Atom Problem and Its Relevance

      • Marc Bezem, Robert Nieuwenhuis, Enric Rodríguez-Carbonell
      Pages 47-61

  3. Session 2. Knowledge Representation 1

    1. Towards Practical Feasibility of Core Computation in Data Exchange

      • Reinhard Pichler, Vadim Savenkov
      Pages 62-78

    2. Data-Oblivious Stream Productivity

      • Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
      Pages 79-96

    3. Reasoning about XML with Temporal Logics and Automata

      • Leonid Libkin, Cristina Sirangelo
      Pages 97-112

    4. Distributed Consistency-Based Diagnosis

      • Vincent Armant, Philippe Dague, Laurent Simon
      Pages 113-127

  4. Session 3. Proof-Theory 1

    1. From One Session to Many: Dynamic Tags for Security Protocols

      • Myrto Arapinis, Stéphanie Delaune, Steve Kremer
      Pages 128-142

    2. A Conditional Logical Framework

      • Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
      Pages 143-157

    3. Nominal Renaming Sets

      • Murdoch J. Gabbay, Martin Hofmann
      Pages 158-173

    4. Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic

      • Sean McLaughlin, Frank Pfenning
      Pages 174-181

  6. Session 4. Automata

    1. On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata

      • Benjamin Aminof, Orna Kupferman, Omer Lev
      Pages 183-197

    2. Recurrent Reachability Analysis in Regular Model Checking

      • Anthony Widjaja To, Leonid Libkin
      Pages 198-213

    3. Alternation Elimination by Complementation (Extended Abstract)

      • Christian Dax, Felix Klaedtke
      Pages 214-229

    4. Discounted Properties of Probabilistic Pushdown Automata

      • Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera
      Pages 230-242

  7. Session 5. Linear Arithmetic

    1. A Quantifier Elimination Algorithm for Linear Real Arithmetic

      • David Monniaux
      Pages 243-257

    2. (LIA) - Model Evolution with Linear Integer Arithmetic Constraints

      • Peter Baumgartner, Alexander Fuchs, Cesare Tinelli
      Pages 258-273
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

About this book

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.

Editors and Affiliations

  • Carnegie Mellon University, Doha, Qatar

    Iliano Cervesato

  • Technische Universität Darmstadt, Germany

    Helmut Veith

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation