Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings (Lecture Notes in Computer Science)
Contributors: Uwe Egly (Editor); Christian G. Fernmüller (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Paperback
Number of pages: 341
ISBN-13: 9783540439295
Subjects: Artificial intelligence; Computers - General Information; Automata; Computers; Computer Books: General; General; Congresses; Artificial Intelligence - General; Expert Systems; AI Logics; Automated Deduction; Automated Reasoning; Computers / Artificial Intelligence; Formal Verification; Hybrid Logic; Linear Logics; Logic Programming; Logic Reasoning; Mathematical Logics; Automatic theorem proving
First sentence: Proof analysis of existing proofs is one of the main sources of scientific progress in mathematics: new concepts can be obtained, e.g., by denoting explicit definitions in proof parts and axiomatizing them as new mathematical objects in their own right.
Description: This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 – August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). This c- ference was the continuation of international meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St. Goar (1995), Ter- sini (1996), Pont-`a-Mousson (1997), Oisterwijk (1998), Saratoga Springs (1999), and St Andrews (2000). In 2001 TABLEAUX was part of IJCAR 2001 in - ena. The frame of FLoC 2002 guaranteed once again close contact to the larger Theorem Proving and Logic in Computer Science community. This was in par- cular witnessed by the talk by Matthias Baaz, jointly invited by CADE-18 and TABLEAUX 2002. Tableaux and related methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. This is nicely illustrated by the wide scope of logics that are covered by the papers collected in this volume: among them are linear logic, temporal - gics, various modal logics, including hybrid logic and multi-modal logics, fuzzy logics like G¨odel- andLuk asiewicz logics, various intermediate logics, quanti?ed boolean logic, and, of course, classical ?rst-order logic in various formats.