ENGLISH

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

By N. G. de Bruijn (auth.) , Harrie de Swart (eds.)

Book information

Publisher
Springer Berlin Heidelberg
Year
1998
ISBN
3540644067, 9783540644064
DOI
10.1007/3-540-69778-0
LCC
QA76.9.A96 T34 1998
Open Library ID
OL358186M
Language
english
Format
PDF
Filesize
2 MB (1809229 bytes)
Series
Lecture Notes in Computer Science 1397
Edition
1
Pages
335\335
Topic
Computers
Library
Kolxo3
Time added
2009-12-04 00:34:26
Artificial Intelligence (incl. Robotics); Mathemat

Description

This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. 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.

Similar books