Skip to main content
SpringerLink
Log in
Book cover

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Bernhard Beckert

    1. Department of Computer Science, University of Koblenz-Landau,  

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

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2005.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (29 papers)

  1. Front Matter

    Download chapter PDF

  3. Research Papers

    1. Consistency of Variable Splitting in Free Variable Systems of First-Order Logic

      • Roger Antonsen, Arild Waaler
      Pages 33-47

    2. On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic

      • Serge Autexier
      Pages 48-62

    3. A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic

      • Davide Bresolin, Angelo Montanari
      Pages 63-77

    4. Cyclic Proofs for First-Order Logic with Inductive Definitions

      • James Brotherston
      Pages 78-92

    5. A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity

      • Domenico Cantone, Calogero G. Zarba
      Pages 93-107

    6. Embedding Static Analysis into Tableaux and Sequent Based Frameworks

      • Tobias Gedell
      Pages 108-122

    7. A Calculus for Type Predicates and Type Coercion

      • Martin Giese
      Pages 123-137

    8. A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics

      • Rajeev Goré, Linh Anh Nguyen
      Pages 138-152

    9. Comparing Instance Generation Methods for Automated Reasoning

      • Swen Jacobs, Uwe Waldmann
      Pages 153-168

    10. An Order-Sorted Quantified Modal Logic for Meta-ontology

      • Ken Kaneiwa, Riichiro Mizoguchi
      Pages 169-184

    11. A Redundancy Analysis of Sequent Proofs

      • Tatjana Lutovac, James Harland
      Pages 185-200

    12. A Tableau Algorithm for Description Logics with Concrete Domains and GCIs

      • Carsten Lutz, Maja Miličić
      Pages 201-216

    13. The Space Efficiency of OSHL

      • Swaha Miller, David A. Plaisted
      Pages 217-230

    14. Efficient Query Processing with Compiled Knowledge Bases

      • Neil V. Murray, Erik Rosenthal
      Pages 231-244

    15. Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic

      • Jens Otten
      Pages 245-261
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

Editors and Affiliations

  • Department of Computer Science, University of Koblenz-Landau,  

    Bernhard Beckert

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation