+612 9045 4394
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings - Didier Galmiche

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceedings

By: Didier Galmiche (Editor)

Paperback Published: 29th April 1997
ISBN: 9783540629207
Number Of Pages: 380

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.
The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applicationsp. 1
Three Faces of Natural Deductionp. 16
Tableaux for Logic Programming with Strong Negationp. 31
Generalized Tableau Systems for Intermediate Propositional Logicsp. 43
Lean Induction Principles for Tableauxp. 62
Tableaux for Diagnosis Applicationsp. 76
Free Variable Tableaux for Propositional Modal Logicsp. 91
A Sequent Calculus for Skeptical Default Logicp. 107
A Fast Saturation Strategy for Set-Theoretic Tableauxp. 122
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logicsp. 138
Automated Natural Deduction Prover and Experimentsp. 153
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculip. 158
Ordered Tableaux: Extensions and Applicationsp. 173
Two Loop Detection Mechanisms: A Comparisonp. 188
Subgoal Alteration in Model Eliminationp. 201
Projection: A Unification Procedure for Tableaux in Conceptual Graphsp. 216
On Qausitautologiesp. 231
Tableaux Methods for Access Control in Distributed Systemsp. 246
Proving Correctness of Labeled Transition Systems by Semantic Tableauxp. 261
Tableau Methods for PA-Processesp. 276
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpointsp. 291
ilean TAP: An Intuitionistic Theorem Proverp. 307
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Modelsp. 313
A Framework for Using Knowledge in Tableau Proofsp. 328
A Sequent Calculus for Reasoning in Four-Valued Description Logicsp. 343
Tableaux for Functional Dependencies and Independenciesp. 358
Author Indexp. 373
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540629207
ISBN-10: 3540629203
Series: Lecture Notes in Mathematics
Audience: General
Format: Paperback
Language: English
Number Of Pages: 380
Published: 29th April 1997
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.06
Weight (kg): 0.55