Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert (ed.)
This volume contains the research papers presented at the
International Conference on Automated Reasoning with Analytic Tableaux
and Related Methods (TABLEAUX 2005) held 14-17 September 2005 in
Koblenz, Germany.
Tableau methods are a convenient formalism for automating deduction in
various non-standard logics as well as in classical logic. Areas of
application include verification of software and computer systems,
deductive databases, knowledge representation and its required
inference engines, and system diagnosis. The conference brought
together researchers interested in all aspects - theoretical
foundations, implementation techniques, systems development and
applications - of the mechanization of reasoning with tableaux and
related methods.