Title: Automated reasoning with analytic tableaux and related methods
Description: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings<br />Author: Harrie de Swart<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-64406-4<br /> DOI: 10.1007/3-540-69778-0<br /><br />Table of Contents:<p></p><ul><li>Philosophical Aspects of Computerized Verification of Mathematics
</li><li>A Science of Reasoning (Extended Abstract)
</li><li>Model Checking: Historical Perspective and Example (Extended Abstract)
</li><li>Comparison of Theorem Provers for Modal Logics — Introduction and Summary
</li><li>FaCT and DLP
</li><li>Prover KT4
</li><li>leanK 2.0
</li><li>Logics Workbench 1.0
</li><li>Optimised Functional Translation and Resolution
</li><li>Benchmark Evaluation of □KE
</li><li>Implementation of Propositional Temporal Logics Using BDDs
</li><li>Computer Programming as Mathematics in a Programming Language and Proof System CL
</li><li>A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results
</li><li>Hyper Tableau — The Next Generation
</li><li>Fibring Semantic Tableaux
</li><li>A Tableau Calculus for Quantifier-Free Set Theoretic Formulae
</li><li>A Tableau Method for Interval Temporal Logic with Projection
</li><li>Bounded Model Search in Linear Temporal Logic and Its Application to Planning
</li><li>On Proof Complexity of Circumscription
</li><li>Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities</li></ul>
Subjects: Congresses, Artificial intelligence, Automatic theorem proving