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.