6. TABLEAUX 1997:
Pont-à-Mousson, France
Didier Galmiche (Ed.):
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings.
Lecture Notes in Computer Science 1227 Springer 1997, ISBN 3-540-62920-3 
Invited Lectures
Contributed Papers
- Seiki Akama:
Tableaux for Logic Programming with Strong Negation.
31-42
- Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
Generalized Tableau Systems for Intemediate Propositional Logics.
43-61
- Matthias Baaz, Uwe Egly, Christian G. Fermüller:
Lean Induction Principles for Tableaux.
62-75
- Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl:
Tableaux for Diagnosis Applications.
76-90
- Bernhard Beckert, Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics.
91-106
- Piero A. Bonatti, Nicola Olivetti:
A Sequent Calculus for Skeptical Default Logic.
107-121
- Domenico Cantone:
A Fast Saturation Strategy for Set-Theoretic Tableaux.
122-137
- Serenella Cerrito, Marta Cialdea Mayer:
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.
138-152
- Li Dafa:
Automated Natural Deduction Prover and Experiments.
153-157
- Uwe Egly:
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi.
158-172
- Reiner Hähnle, Christian Pape:
Ordered Tableaux: Extensions and Applications.
173-187
- Jacob M. Howe:
Two Loop Detection Mechanisms: A Comparision.
188-200
- Ortrun Ibens, Reinhold Letz:
Subgoal Alternation in Model Elimination.
201-215
- Gwen Kerdiles:
Projection: A Unification Procedure for Tableaux in Conceptual Graphs.
216-230
- Ján Komara, Paul J. Voda:
On Quasitautologies.
231-245
- Fabio Massacci:
Tableaux Methods for Access Control in Distributed Systems.
246-260
- Wolfgang May:
Proving Correctness of Labled Transition Systems by Semantic Tableaux.
261-275
- Richard Mayr:
Tableau Methods for PA-Processes.
276-290
- Peter Niebert, Barbara Sprick:
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.
291-306
- Jens Otten:
ileanTAP: An Intuitionistic Theorem Prover.
307-312
- Nicolas Peltier:
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models.
313-327
- Benjamin Shults:
A Framework for Using Knowledge in Tableau Proofs.
328-342
- Umberto Straccia:
A Sequent Calculus for Reasoning in Four-Valued Description Logics.
343-357
- Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode:
Tableaux for Functional Dependencies and Independencies.
358-372
Last update Thu May 23 18:02:32 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
