Automated Reasoning with Analytic Tableaux and Related Methods
24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Editors: De Nivelle, Hans (Ed.)
Free PreviewBuy this book
- About this book
-
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.
- Table of contents (23 chapters)
-
-
Invited Talk: Coherentisation of First-Order Logic
Pages 3-5
-
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
Pages 6-21
-
A Tableau for Bundled Strategies
Pages 22-37
-
Modal Tableau Systems with Blocking and Congruence Closure
Pages 38-53
-
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
Pages 54-69
-
Table of contents (23 chapters)
- Download Preface 1 PDF (42.8 KB)
- Download Sample pages 2 PDF (507.5 KB)
- Download Table of contents PDF (59.3 KB)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Automated Reasoning with Analytic Tableaux and Related Methods
- Book Subtitle
- 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
- Editors
-
- Hans De Nivelle
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 9323
- Copyright
- 2015
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing Switzerland
- eBook ISBN
- 978-3-319-24312-2
- DOI
- 10.1007/978-3-319-24312-2
- Softcover ISBN
- 978-3-319-24311-5
- Edition Number
- 1
- Number of Pages
- XVI, 355
- Number of Illustrations
- 70 illustrations in colour
- Topics
