Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Paperback, 2000 ed.)

This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3-7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St Goar (1995), Terrasini (1996), Pont-' a-Mousson (1997), Oisterwijk (1998) and Saratoga Springs (1999). Tableaux and related methods, such as Gentzen calculi, are convenient and e?ective for automating deduction not just in classical logic but also in various non-standard logics. Examples taken from this meeting alone include temporal, description, non-monotonic, tense, modal, epistemic, fuzzy and intuitionistic - gics. Areas of application include veri?cation of software and computer systems, deductive databases, knowledge representation and system diagnosis. The c- ference brought together researchers interested in all aspects - theoretical fo- dations, implementation techniques, systems development, experimental com- rison and applications - of the automation of reasoning by means of tableaux or related methods.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 1847
Release date:	2001
First published:	2000
Editors:	Roy Dyckhoff
Dimensions:	235 x 155 x 23mm (L x W x T)
Format:	Paperback
Pages:	440
Edition:	2000 ed.
ISBN-13:	978-3-540-67697-3
Categories:	Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-67697-X
Barcode:	9783540676973

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!