Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. ProceedingsAuthor: Marta Cialdea Mayer, Fiora Pirri Published by Springer Berlin Heidelberg ISBN: 978-3-540-40787-4 DOI: 10.1007/b12030Table 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