Automated Reasoning with Analytic Tableaux and Related Methods
20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
Editors: Brünnler, Kai, Metcalfe, George (Eds.)
Free Preview- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Buy this book
- About this book
-
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.
- Table of contents (21 chapters)
-
-
On Interpolation in Decision Procedures
Pages 1-16
-
First-Order Tableaux in Applications (Extended Abstract)
Pages 17-19
-
Proof Theory and Algebra in Substructural Logics
Pages 20-20
-
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
Pages 21-26
-
Schemata of SMT-Problems
Pages 27-42
-
Table of contents (21 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Automated Reasoning with Analytic Tableaux and Related Methods
- Book Subtitle
- 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings
- Editors
-
- Kai Brünnler
- George Metcalfe
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 6793
- Copyright
- 2011
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag GmbH Berlin Heidelberg
- eBook ISBN
- 978-3-642-22119-4
- DOI
- 10.1007/978-3-642-22119-4
- Softcover ISBN
- 978-3-642-22118-7
- Edition Number
- 1
- Number of Pages
- VIII, 279
- Number of Illustrations
- 36 b/w illustrations, 4 illustrations in colour
- Topics