International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Hans De Nivelle

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

About these proceedings

Introduction

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. 

Keywords

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 https://doi.org/10.1007/978-3-319-24312-2
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-24311-5
  • Online ISBN 978-3-319-24312-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book