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 BibTeX

@proceedings{DBLP:conf/tableaux/1997,
  editor    = {Didier Galmiche},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods,
               International Conference, TABLEAUX '97, Pont-{\`a}-Mousson,
               France, May 13-16, 1997, Proceedings},
  booktitle = {TABLEAUX},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1227},
  year      = {1997},
  isbn      = {3-540-62920-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. 1-15 BibTeX
Grigori Mints: Three Faces of Natural Deduction. 16-30 BibTeX

Contributed Papers

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