Abstract is missing.
- MGTP: A Model Generation Theorem Prover - Its Advanced Features and ApplicationsRyuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura. 1-15
- Three Faces of Natural DeductionGrigori Mints. 16-30
- Tableaux for Logic Programming with Strong NegationSeiki Akama. 31-42
- Generalized Tableau Systems for Intemediate Propositional LogicsAlessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 43-61
- Lean Induction Principles for TableauxMatthias Baaz, Uwe Egly, Christian G. Fermüller. 62-75
- Tableaux for Diagnosis ApplicationsPeter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl. 76-90
- Free Variable Tableaux for Propositional Modal LogicsBernhard Beckert, Rajeev Goré. 91-106
- A Sequent Calculus for Skeptical Default LogicPiero A. Bonatti, Nicola Olivetti. 107-121
- A Fast Saturation Strategy for Set-Theoretic TableauxDomenico Cantone. 122-137
- Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal LogicsSerenella Cerrito, Marta Cialdea Mayer. 138-152
- Automated Natural Deduction Prover and ExperimentsLi Dafa. 153-157
- Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic CalculiUwe Egly. 158-172
- Ordered Tableaux: Extensions and ApplicationsReiner Hähnle, Christian Pape. 173-187
- Two Loop Detection Mechanisms: A ComparisionJacob M. Howe. 188-200
- Subgoal Alternation in Model EliminationOrtrun Ibens, Reinhold Letz. 201-215
- Projection: A Unification Procedure for Tableaux in Conceptual GraphsGwen Kerdiles. 216-230
- On QuasitautologiesJán Komara, Paul J. Voda. 231-245
- Tableaux Methods for Access Control in Distributed SystemsFabio Massacci. 246-260
- Proving Correctness of Labled Transition Systems by Semantic TableauxWolfgang May. 261-275
- Tableau Methods for PA-ProcessesRichard Mayr. 276-290
- A Tableau Proof System for a Mazurkiewicz Trace Logic with FixpointsPeter Niebert, Barbara Sprick. 291-306
- ileanTAP: An Intuitionistic Theorem ProverJens Otten. 307-312
- Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building ModelsNicolas Peltier. 313-327
- A Framework for Using Knowledge in Tableau ProofsBenjamin Shults. 328-342
- A Sequent Calculus for Reasoning in Four-Valued Description LogicsUmberto Straccia. 343-357
- Tableaux for Functional Dependencies and IndependenciesDuminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode. 358-372