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

Automated Reasoning with Analytic Tableaux and Related Methods

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

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)

Conference series link(s): TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Conference proceedings info: TABLEAUX 2007.

Sections

Buy it now

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

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

Table of contents (19 papers)

  1. Front Matter

    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

    10. Tree-Sequent Methods for Subintuitionistic Predicate Logics

      • Ryo Ishigaki, Kentaro Kikuchi
      Pages 149-164

    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

  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

Back to top

Keywords

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

Search

Navigation