Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Editors
  • Nicola Olivetti
Conference proceedings TABLEAUX 2007

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4548)

Table of contents

  1. Front Matter
    PDF

  2. Invited Talks

    1. Nonmonotonic Description Logics – Requirements, Theory, and Implementations
      Piero A. Bonatti
      Pages 1-1
    2. Our Quest for the Holy Grail of Agent Verification
      John-Jules Ch. Meyer
      Pages 2-9
    3. An Abstract Framework for Satisfiability Modulo Theories
      Cesare Tinelli
      Pages 10-10

  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
  5. Back Matter
    PDF

About these proceedings

Keywords

AI logics Erfüllbarkeitsproblem der Aussagenlogik automated deduction automated reasoning conditional logics description logics formal verification knowledge bases logic logic programming model checking model elimination nonmonotonic reasoning object oriented design proof theory

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73099-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73098-9
  • Online ISBN 978-3-540-73099-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site