Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : ... / Lecture Notes in Artificial Intelligence) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
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.
"About this title" may belong to another edition of this title.