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
  2. Peter Jeavons
    Pages 1-15
  3. Régis Alenda, Nicola Olivetti, Camilla Schwind
    Pages 17-31
  4. Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
    Pages 32-46
  5. Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
    Pages 47-61
  6. Arnon Avron, Ori Lahav
    Pages 62-76
  7. Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji et al.
    Pages 77-92
  8. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
    Pages 123-137
  9. Kai Brünnler, Lutz Straßburger
    Pages 152-166
  10. Silvio Ghilardi, Silvio Ranise
    Pages 173-188
  11. Rajeev Goré, Linda Postniece, Alwen Tiu
    Pages 189-204
  12. Rajeev Goré, Florian Widmann
    Pages 205-219
  13. Natthapong Jungteerapanich
    Pages 220-234
  14. Mark Kaminski, Sigurd Schneider, Gert Smolka
    Pages 235-249
  15. Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
    Pages 250-264

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
  • About this book