Title: Automated Reasoning with Analytic Tableaux and Related Methods
Description: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings<br />Author: Roy Dyckhoff<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-67697-3<br /> DOI: 10.1007/10722086<br /><br />Table of Contents:<p></p><ul><li>Tableau Algorithms for Description Logics
</li><li>Modality and Databases
</li><li>Local Symmetries in Propositional Logic
</li><li>Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
</li><li>Consistency Testing: The RACE Experience
</li><li>Benchmark Analysis with FaCT
</li><li>MSPASS: Modal Reasoning by Translation and First-Order Resolution
</li><li>TANCS-2000 Results for DLP
</li><li>Evaluating *SAT on TANCS 2000 Benchmarks
</li><li>A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
</li><li>A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus
</li><li>An Analytic Calculus for Quantified Propositional Gödel Logic
</li><li>A Tableau Method for Inconsistency-Adaptive Logics
</li><li>A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning
</li><li>Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics
</li><li>Variants of First-Order Modal Logics
</li><li>Complexity of Simple Dependent Bimodal Logics
</li><li>Properties of Embeddings from Int to S4
</li><li>Term-Modal Logics
</li><li>A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics</li></ul>
Subjects: Congresses, Automatic theorem proving