Skip to main content
  • Conference proceedings
  • © 2005

Logic for Programming, Artificial Intelligence, and Reasoning

12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

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

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 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (50 papers)

  1. Front Matter

  2. Zap: Automated Theorem Proving for Software Analysis

    • Thomas Ball, Shuvendu K. Lahiri, Madanlal Musuvathi
    Pages 2-22
  3. A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem

    • Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli
    Pages 48-63
  4. Disjunctive Constraint Lambda Calculi

    • Matthias M. Hölzl, John N. Crossley
    Pages 64-78
  5. The nomore + + Approach to Answer Set Solving

    • Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
    Pages 95-109
  6. The Four Sons of Penrose

    • Nachum Dershowitz
    Pages 125-138
  7. An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures

    • Angelo Montanari, Alberto Policriti, Nicola Vitacolonna
    Pages 139-153
  8. Strong Normalization of the Dual Classical Sequent Calculus

    • Daniel Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
    Pages 169-183
  9. Termination of Fair Computations in Term Rewriting

    • Salvador Lucas, José Meseguer
    Pages 184-198
  10. On Confluence of Infinitary Combinatory Reduction Systems

    • Jeroen Ketema, Jakob Grue Simonsen
    Pages 199-214
  11. Matching with Regular Constraints

    • Temur Kutsia, Mircea Marin
    Pages 215-229
  12. Recursive Path Orderings Can Also Be Incremental

    • Mirtha-Lina Fernández, Guillem Godoy, Albert Rubio
    Pages 230-245
  13. Automating Coherent Logic

    • Marc Bezem, Thierry Coquand
    Pages 246-260
  14. The Theorema Environment for Interactive Proof Development

    • Florina Piroi, Temur Kutsia
    Pages 261-275

Other Volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

  • Resolution
  • abstraction
  • ai logics
  • artificial intelligence
  • automata
  • automated deduction
  • automated reasoning
  • automated theorem proving
  • description logics
  • distributed systems
  • formal verification
  • logic programming
  • model checking
  • semantics
  • verification

Editors and Affiliations

  • University of Miami, USA

    Geoff Sutcliffe

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions