Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Author: Roy Dyckhoff
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67697-3
DOI: 10.1007/10722086

Table of Contents:

• Tableau Algorithms for Description Logics
• Modality and Databases
• Local Symmetries in Propositional Logic
• Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison
• Consistency Testing: The RACE Experience
• Benchmark Analysis with FaCT
• MSPASS: Modal Reasoning by Translation and First-Order Resolution
• TANCS-2000 Results for DLP
• Evaluating *SAT on TANCS 2000 Benchmarks
• A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
• A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus
• An Analytic Calculus for Quantified Propositional Gödel Logic
• A Tableau Method for Inconsistency-Adaptive Logics
• A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning
• Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics
• Variants of First-Order Modal Logics
• Complexity of Simple Dependent Bimodal Logics
• Properties of Embeddings from Int to S4
• Term-Modal Logics
• A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics

Includes bibliographical references and index