Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings ... / Lecture Notes in Artificial Intelligence)
Contributors: Marta Cialdea Mayer (Editor); Fiora Pirri (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 10, 2003
Language: eng
Format: Paperback
Number of pages: 271
ISBN-13: 9783540407874
Copyright date: 2003
Subjects: Analytic number theory; Knowledge-based systems / expert systems; Logic; Computers; Computers - General Information; Science/Mathematics; Programming - General; Artificial Intelligence - General; Computers / Artificial Intelligence; Automatic theorem proving; Programming - Software Development; Congresses; Computer Bks - General Information
Table of contents: title: Non Commutative Logic: A Survey (Abstract); title: Dynamical Method in Algebra: A Survey (Abstract); title: Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract); title: Tableaux with Four Signs as a Unified Framework; title: A Labelled Sequent-Calculus for Observation Logic; title: Bounded Łukasiewicz Logics; title: Parallel Dialogue Games and Hypersequents for Intermediate Logics; title: Simplification Rules for Constrained Formula Tableaux; title: Tableau Calculi for Preference-Based Conditional Logics; title: A General Tableau Method for Propositional Interval Temporal Logics; title: Universal Variables in Disconnection Tableaux; title: A Tableau Algorithm for Reasoning about Concepts and Similarity; title: XPath and Modal Logics of Finite DAG‘s; title: Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation; title: A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models; title: Automatic Abstraction of Equations in a Logic of Equality; title: A Free Variable Sequent Calculus with Uniform Variable Splitting; title: The Tableaux Work Bench; title: Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic; title: Logistica 2.0: A Technology for Implementing Automatic Deduction Systems</li></ul>