Automated Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

  • Hans De Nivelle
Conference proceedings TABLEAUX 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Tableaux Calculi

    1. Front Matter
      Pages 1-1
    2. Valentín Cassano, Carlos Gustavo Lopez Pombo, Thomas S. E. Maibaum
      Pages 6-21
    3. John McCabe-Dansted, Mark Reynolds
      Pages 22-37
    4. Renate A. Schmidt, Uwe Waldmann
      Pages 38-53
    5. Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
      Pages 54-69
    6. Peter Backeman, Philipp Rümmer
      Pages 70-85
    7. Guillaume Bury, David Delahaye
      Pages 86-101
    8. Cezary Kaliszyk
      Pages 102-111
  3. Sequent Calculus

    1. Front Matter
      Pages 113-113
  4. Resolution

    1. Front Matter
      Pages 151-151
    2. Taus Brock-Nannestad, Kaustuv Chaudhuri
      Pages 153-168
    3. Ullrich Hustadt, Paul Gainer, Clare Dixon, Cláudia Nalon, Lan Zhang
      Pages 169-184
    4. Cláudia Nalon, Ullrich Hustadt, Clare Dixon
      Pages 185-200
    5. Zakaria Chihani, Tomer Libal, Giselle Reis
      Pages 201-210
  5. Other Calculi

  6. Applications

    1. Front Matter
      Pages 305-305
    2. Richard Bubel, Crystal Chang Din, Reiner Hähnle, Keiko Nakata
      Pages 307-322
    3. Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, Björn Lellmann
      Pages 323-338
    4. Alexander Hudek, David Toman, Grant Weddell
      Pages 339-354
  7. Back Matter
    Pages 355-355

About these proceedings


This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. 

The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. 


Automated reasoning Computational complexity Linear arithmetic Modal logic Proof checking Coherent logic Computational geometry Coq Description logic general simplex algorithm intermediate logic logic of proofs normal modal logics proof theory qualitative spatiotemporal logic resolution method spatiotemporal logic tableau method tableaux theorem prover

Editors and affiliations

  • Hans De Nivelle
    • 1
  1. 1.Uniwersytet WrocławskiWrocławPoland

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-24311-5
  • Online ISBN 978-3-319-24312-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences