| Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 2002. Copenhagen, Denmark, July 30 - August 1, 2002 2002 Edition Contributor(s): Egly, Uwe (Editor), Fernmüller, Christian G. (Editor) |
|
 |
ISBN: 3540439293 ISBN-13: 9783540439295 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: July 2002 Annotation: This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, held in Copenhagen, Denmark, in July/August 2002. The 20 revised full papers and two system descriptions presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed. Among the logic calculi investigated are linear logic, temporal logic, modal logics, hybrid logic, multi-modal logics, fuzzy logics, Goedel logic, Lukasiewicz logic, intermediate logics, quantified boolean logic, and, of course, classical first-order logic. |
| Additional Information |
| BISAC Categories: - Computers | Expert Systems - Medical - Computers | Software Development & Engineering - General |
| Dewey: 006.333 |
| LCCN: 2002026689 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.74" H x 8.5" W x 11" (1.82 lbs) 346 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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. |