Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Logic for Programming, Artificial Intelligence, and Reasoning

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

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)

Conference series link(s): LPAR: Logic for Programming, Artificial Intelligence, and Reasoning

Conference proceedings info: LPAR 2008.

Sections

Buy it now

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

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

Table of contents (49 papers)

  1. Front Matter

    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

  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

    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

Back to top

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

Keywords

Back to top

Editors and Affiliations

  • Carnegie Mellon University, Doha, Qatar

    Iliano Cervesato

  • Technische Universität Darmstadt, Germany

    Helmut Veith

  • University of Manchester, UK

    Andrei Voronkov

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation