Automated Reasoning with Analytic Tableaux and Related Methods
28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
Editors: Cerrito, Serenella, Popescu, Andrei (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, colocated with the 12th International Symposium on Frontiers on Combining Systems, FroCoS 2019.
The 25 full papers presented were carefully reviewed and selected from 43 submissions.They present research on all aspects of the mechanization of tableaux-based reasoning and related methods, including theoretical foundations, implementation techniques, systems development and applications. The papers are organized in the following topical sections: tableau calculi, sequent calculi, semantics and combinatorial proofs, non-wellfounded proof systems, automated theorem provers, and logics for program or system verification.
- Table of contents (25 chapters)
-
-
A SAT-Based Encoding of the One-Pass and Tree-Shaped Tableau System for LTL
Pages 3-20
-
Certification of Nonclausal Connection Tableaux Proofs
Pages 21-38
-
Preferential Tableaux for Contextual Defeasible $$\mathcal {ALC}$$
Pages 39-57
-
A Tableau Calculus for Non-clausal Maximum Satisfiability
Pages 58-73
-
First-Order Quasi-canonical Proof Systems
Pages 77-93
-
Table of contents (25 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Automated Reasoning with Analytic Tableaux and Related Methods
- Book Subtitle
- 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
- Editors
-
- Serenella Cerrito
- Andrei Popescu
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 11714
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-29026-9
- DOI
- 10.1007/978-3-030-29026-9
- Softcover ISBN
- 978-3-030-29025-2
- Edition Number
- 1
- Number of Pages
- XXI, 477
- Number of Illustrations
- 2823 b/w illustrations, 28 illustrations in colour
- Topics
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
