7. TABLEAUX 1998:
Oisterwijk,
The Netherlands
Harrie C. M. de Swart (Ed.):
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings.
Lecture Notes in Computer Science 1397 Springer 1998, ISBN 3-540-64406-7 BibTeX
@proceedings{DBLP:conf/tableaux/1998,
editor = {Harrie C. M. de Swart},
title = {Automated Reasoning with Analytic Tableaux and Related Methods,
International Conference, TABLEAUX '98, Oisterwijk, The Netherlands,
May 5-8, 1998, Proceedings},
booktitle = {TABLEAUX},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1397},
year = {1998},
isbn = {3-540-64406-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Extended Abstracts of Invited Lectures
Comparison
Abstracts of the Tutorials
Contributed Research Papers
- Matteo Baldoni, Laura Giordano, Alberto Martelli:
A Tableau for Multimodal Logics and Some (Un)Decidability Results.
44-59
Electronic Edition (link) BibTeX
- Peter Baumgartner:
Hyper Tableau - The Next Generation.
60-76
Electronic Edition (link) BibTeX
- Bernhard Beckert, Dov M. Gabbay:
Fibring Semantic Tableaux.
77-92
Electronic Edition (link) BibTeX
- Bernhard Beckert, Ulrike Hartmer:
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.
93-107
Electronic Edition (link) BibTeX
- Howard Bowman, Simon J. Thompson:
A Tableau Method for Interval Temporal Logic with Projection.
108-123
Electronic Edition (link) BibTeX
- Serenella Cerrito, Marta Cialdea Mayer:
Bounded Model Search in Linear Temporal Logic and Its Application to Planning.
124-140
Electronic Edition (link) BibTeX
- Uwe Egly, Hans Tompits:
On Proof Complexity of Circumscription.
141-155
Electronic Edition (link) BibTeX
- Christian G. Fermüller, Herbert Langsteiner:
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.
156-171
Electronic Edition (link) BibTeX
- Reiner Hähnle, Neil V. Murray, Erik Rosenthal:
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
173-186
Electronic Edition (link) BibTeX
- Ullrich Hustadt, Renate A. Schmidt:
Simplification and Backjumping in Modal Tableau.
187-201
Electronic Edition (link) BibTeX
- Pedro J. Martín, Antonio Gavilanes, Javier Leach:
Free Variable Tableaux for a Logic with Term Declarations.
202-216
Electronic Edition (link) BibTeX
- Fabio Massacci:
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.
217-231
Electronic Edition (link) BibTeX
- Christof Monz, Maarten de Rijke:
A Tableaux Calculus for Ambiguous Quantification.
232-246
Electronic Edition (link) BibTeX
- Sara Negri, Jan von Plato:
From Kripke Models to Algebraic Counter-Valuations.
247-261
Electronic Edition (link) BibTeX
- Stephan Schmitt, Christoph Kreitz:
Deleting Redundancy in Proof Reconstruction.
262-276
Electronic Edition (link) BibTeX
- Stefan Schwendimann:
A New One-Pass Tableau Calculus for PLTL.
277-292
Electronic Edition (link) BibTeX
- Klaus Weich:
Decision Procedures for Intuitionistic Propositional Logic by Program Extraction.
292-306
Electronic Edition (link) BibTeX
Contributed System Descriptions
Copyright © Sat May 16 23:43:24 2009
by Michael Ley (ley@uni-trier.de)
