This book constitutes the refereed proceedings of the 16th
International Conference on Automated Reasoning with Analytic
Tableaux and Related Methods, TABLEAUX 2007, held in Aix en
Provence, France in July 2007.
The 14 revised research papers presented together with 2 system
descriptions as well as 3 invited talks were carefully reviewed and
selected from 43 submissions. The papers cover many topics in the
wide range of logics; from intuitionistic and substructural logics
to modal logics (including temporal and dynamic logics), from
many-valued logics to nonmonotonic logics, from classical
first-order logic to description logics. Some contributions are
focused on decision procedures, others on efficient reasoning, as
well as on implementation of theorem provers. A few papers explore
applications such as model-checking, verification, or knowledge
engineering. Finally some contributions make use of tableaux as a
tool for theoretical investigation of logics.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!