Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings | SpringerLink
Skip to main content
Springer Nature Link
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Nicola Olivetti
    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 4548)

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2007.

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

Access this book

Log in via an institution
Softcover Book JPY 7149
Price includes VAT (Japan)
  • 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

Keywords

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  3. Research Papers

    1. Axiom Pinpointing in General Tableaux

      • Franz Baader, Rafael Peñaloza
      Pages 11-27

    2. Proof Theory for First Order Łukasiewicz Logic

      • Matthias Baaz, George Metcalfe
      Pages 28-42

    3. A Tableau Method for Public Announcement Logics

      • Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima
      Pages 43-59

    4. Bounded Model Checking with Description Logic Reasoning

      • Shoham Ben-David, Richard Trefler, Grant Weddell
      Pages 60-72

    5. Tableau Systems for Logics of Subinterval Structures over Dense Orderings

      • Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala
      Pages 73-89

    6. A Cut-Free Sequent Calculus for Bi-intuitionistic Logic

      • Linda Buisman, Rajeev Goré
      Pages 90-106

    7. Tableaux with Dynamic Filtration for Layered Modal Logics

      • Olivier Gasquet, Bilal Said
      Pages 107-118

    8. The Neighbourhood of S0.9 and S1

      • Roderic A. Girle
      Pages 119-132

    9. EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies

      • Rajeev Goré, Linh Anh Nguyen
      Pages 133-148

    10. Tree-Sequent Methods for Subintuitionistic Predicate Logics

      • Ryo Ishigaki, Kentaro Kikuchi
      Pages 149-164

    11. A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation

      • Ekaterina Komendantskaya
      Pages 165-182

    12. Updating Reduced Implicate Tries

      • Neil V. Murray, Erik Rosenthal
      Pages 183-198

    13. A Bottom-Up Approach to Clausal Tableaux

      • Nicolas Peltier
      Pages 199-215

    14. Differential Dynamic Logic for Verifying Parametric Hybrid Systems

      • André Platzer
      Pages 216-232

  4. System Descriptions

    1. Improvements to the Tableau Prover PITP

      • Alessandro Avellone, Guido Fiorino, Ugo Moscato
      Pages 233-237

    2. KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

      • Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
      Pages 238-244
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation