Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
Author: Marta Cialdea Mayer, Fiora Pirri
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-40787-4
DOI: 10.1007/b12030

Table of Contents:

• Non Commutative Logic: A Survey (Abstract)
• Dynamical Method in Algebra: A Survey (Abstract)
• Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract)
• Tableaux with Four Signs as a Unified Framework
• A Labelled Sequent-Calculus for Observation Logic
• Bounded Łukasiewicz Logics
• Parallel Dialogue Games and Hypersequents for Intermediate Logics
• Simplification Rules for Constrained Formula Tableaux
• Tableau Calculi for Preference-Based Conditional Logics
• A General Tableau Method for Propositional Interval Temporal Logics
• Universal Variables in Disconnection Tableaux
• A Tableau Algorithm for Reasoning about Concepts and Similarity
• XPath and Modal Logics of Finite DAG‘s
• Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation
• A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models
• Automatic Abstraction of Equations in a Logic of Equality
• A Free Variable Sequent Calculus with Uniform Variable Splitting
• The Tableaux Work Bench
• Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic
• Logistica 2.0: A Technology for Implementing Automatic Deduction Systems

Includes bibliographical references and index