Skip to main content
SpringerLink
Log in
Book cover

Logic for Programming, Artificial Intelligence, and Reasoning

13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Miki Hermann

    1. LIX (CNRS, UMR 7161), École Polytechnique, Palaiseau, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. 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 4246)

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

Included in the following conference series:

Conference proceedings info: LPAR 2006.

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 (39 papers)

  1. Front Matter

    Download chapter PDF

  2. Higher-Order Termination: From Kruskal to Computability

    • Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio
    Pages 1-14

  3. Deciding Satisfiability of Positive Second Order Joinability Formulae

    • Sébastien Limet, Pierre Pillot
    Pages 15-29

  4. SAT Solving for Argument Filterings

    • Michael Codish, Peter Schneider–Kamp, Vitaly Lagoon, René Thiemann, Jürgen Giesl
    Pages 30-44

  5. Inductive Decidability Using Implicit Induction

    • Stephan Falke, Deepak Kapur
    Pages 45-59

  6. Matching Modulo Superdevelopments Application to Second-Order Matching

    • Germain Faure
    Pages 60-74

  7. Derivational Complexity of Knuth-Bendix Orders Revisited

    • Georg Moser
    Pages 75-89

  8. A Characterization of Alternating Log Time by First Order Functional Programs

    • Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
    Pages 90-104

  9. Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems

    • Frédéric Blanqui (INRIA), Colin Riba (INPL)
    Pages 105-119

  10. On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus

    • Kentaro Kikuchi
    Pages 120-134

  11. Modular Cut-Elimination: Finding Proofs or Counterexamples

    • Agata Ciabattoni, Kazushige Terui
    Pages 135-149

  12. An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf

    • Carsten Schürmann, Mark-Oliver Stehr
    Pages 150-166

  13. A Semantic Completeness Proof for TaMeD

    • Richard Bonichon, Olivier Hermant
    Pages 167-181

  14. Saturation Up to Redundancy for Tableau and Sequent Calculi

    • Martin Giese
    Pages 182-196

  15. Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints

    • Laura Bozzelli, Régis Gascon
    Pages 197-211

  16. Combining Supervaluation and Degree Based Reasoning Under Vagueness

    • Christian G. Fermüller, Robert Kosik
    Pages 212-226

  17. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes

    • Boris Motik, Ulrike Sattler
    Pages 227-241

  18. A Local System for Intuitionistic Logic

    • Alwen Tiu
    Pages 242-256

  19. CIC\(\widehat{~}\): Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions

    • Gilles Barthe, Benjamin Grégoire, Fernando Pastawski
    Pages 257-271

  20. Reducing Nondeterminism in the Calculus of Structures

    • Ozan Kahramanoğulları
    Pages 272-286
Back to top

Other volumes

  1. Logic for Programming, Artificial Intelligence, and Reasoning

Keywords

Editors and Affiliations

  • LIX (CNRS, UMR 7161), École Polytechnique, Palaiseau, France

    Miki Hermann

  • University of Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation