Automated Reasoning with Analytic Tableaux and Related Methods

20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

  • Kai Brünnler
  • George Metcalfe
Conference proceedings TABLEAUX 2011

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

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

Table of contents

  1. Front Matter
  2. Maria Paola Bonacina, Moa Johansson
    Pages 1-16
  3. Vincent Aravantinos, Nicolas Peltier
    Pages 27-42
  4. Arnon Avron, Ori Lahav
    Pages 43-57
  5. Laura Bozzelli, Ruggero Lanotte
    Pages 58-72
  6. Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
    Pages 73-87
  7. James Brotherston, Rajeev Goré
    Pages 88-103
  8. Agata Ciabattoni, Ori Lahav, Anna Zamansky
    Pages 119-133
  9. Oliver Friedmann, Martin Lange
    Pages 149-163
  10. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
    Pages 164-179
  11. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Pages 180-195
  12. Björn Lellmann, Dirk Pattinson
    Pages 211-225
  13. Jens Otten
    Pages 226-241
  14. Dmitry Tishkovsky, Renate A. Schmidt, Mohammad Khodadadi
    Pages 242-247
  15. Josef Urban, Jiří Vyskočil, Petr Štěpánek
    Pages 263-277
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.


connection calculus decision procedures first-order logic hybrid logic proof theory

Editors and affiliations

  • Kai Brünnler
    • 1
  • George Metcalfe
    • 2
  1. 1.Institut für Informatik und Angewandte MathematikUniversität BernBernSwitzerland
  2. 2.Mathematisches InstitutUniversität BernBernSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-22118-7
  • Online ISBN 978-3-642-22119-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site