Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98 Oisterwijk, The Netherlands, May 5-8, 1998 Proceedings

The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.