Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods
Bernhard Beckert and Lawrence Paulson
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.
This special issue has its origins in the International Conference on
Automated Reasoning with Analytic Tableaux and Related Methods, which
was held in Koblenz (Germany) in September 2005.