Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

  • Martin Giese
  • Arild Waaler
Conference proceedings TABLEAUX 2009

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

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

Table of contents

  1. Front Matter
    PDF
  2. Presenting Constraints
    Peter Jeavons
    Pages 1-15
  3. On the Use of Automata for Deciding Linear Arithmetic
    Pierre Wolper
    Pages 16-16
  4. Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
    Régis Alenda, Nicola Olivetti, Camilla Schwind
    Pages 17-31
  5. A Schemata Calculus for Propositional Logic
    Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
    Pages 32-46
  6. Tableaux and Model Checking for Memory Logics
    Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
    Pages 47-61
  7. Canonical Constructive Systems
    Arnon Avron, Ori Lahav
    Pages 62-76
  8. A Novel Architecture for Situation Awareness Systems
    Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji et al.
    Pages 77-92
  9. On the Proof Theory of Regular Fixed Points
    David Baelde
    Pages 93-107
  10. Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
    Bianca Boretti, Sara Negri
    Pages 108-122
  11. A Tableau-Based System for Spatial Reasoning about Directional Relations
    Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
    Pages 123-137
  12. Terminating Tableaux for the Basic Fragment of Simple Type Theory
    Chad E. Brown, Gert Smolka
    Pages 138-151
  13. Modular Sequent Systems for Modal Logic
    Kai Brünnler, Lutz Straßburger
    Pages 152-166
  14. Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions
    Marta Cialdea Mayer
    Pages 167-172
  15. Goal-Directed Invariant Synthesis for Model Checking Modulo Theories
    Silvio Ghilardi, Silvio Ranise
    Pages 173-188
  16. Taming Displayed Tense Logics Using Nested Sequents with Deep Inference
    Rajeev Goré, Linda Postniece, Alwen Tiu
    Pages 189-204
  17. Sound Global State Caching for ALC with Inverse Roles
    Rajeev Goré, Florian Widmann
    Pages 205-219
  18. A Tableau System for the Modal μ-Calculus
    Natthapong Jungteerapanich
    Pages 220-234
  19. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
    Mark Kaminski, Sigurd Schneider, Gert Smolka
    Pages 235-249
  20. Prime Implicate Tries
    Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
    Pages 250-264
  21. Proof Systems for a Gödel Modal Logic
    George Metcalfe, Nicola Olivetti
    Pages 265-279
  22. Generic Modal Cut Elimination Applied to Conditional Logics
    Dirk Pattinson, Lutz Schröder
    Pages 280-294
  23. Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
    Luís Pinto, Tarmo Uustalu
    Pages 295-309
  24. Automated Synthesis of Tableau Calculi
    Renate A. Schmidt, Dmitry Tishkovsky
    Pages 310-324
  25. Tableaux for Projection Computation and Knowledge Compilation
    Christoph Wernhard
    Pages 325-340
  26. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009.

The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.

Keywords

AI logics automated deduction automated reasoning binary decision diagrams conditional logics description logic formal verification hybrid logic knowledge knowledge bases model checking model elimination ontologies proof theory query

Editors and affiliations

  • Martin Giese
    • 1
  • Arild Waaler
    • 1
  1. 1.Department of InformaticsUniversity of OsloOsloNorway

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-02716-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-02715-4
  • Online ISBN 978-3-642-02716-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site