8. TABLEAUX 1999: Saratoga Springs, NY, USA

Neil V. Murray (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1617 Springer 1999, ISBN 3-540-66086-0 BibTeX

@proceedings{DBLP:conf/tableaux/1999,
  editor    = {Neil V. Murray},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods,
               International Conference, TABLEAUX '99, Saratoga Springs, NY,
               USA, June 7-11, 1999, Proceedings},
  booktitle = {TABLEAUX},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1617},
  year      = {1999},
  isbn      = {3-540-66086-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Extended Abstracts of Invited Lectures

Randal E. Bryant, Steven M. German, Miroslav N. Velev: Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions. 1-13 BibTeX

Comparison

Fabio Massacci: Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. 14-18 BibTeX
Peter F. Patel-Schneider, Ian Horrocks: DLP and FaCT. 19-23 BibTeX
Volker Haarslev, Ralf Möller: Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. 24-28 BibTeX
Vijay Boyapati, Rajeev Goré: KtSeqC: System Description. 29-31 BibTeX

Abstracts of Tutorials

Fabio Massacci: Automated Reasoning and the Verification of Security Protocols. 32-33 BibTeX
Reiner Hähnle, Bernhard Beckert: Proof Confluent Tableau Calculi. 34-35 BibTeX

Contributed Research Papers

Matthias Baaz, Christian G. Fermüller: Analytic Calculi for Projective Logics. 36-50 BibTeX
Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer: Merge Path Improvements for Minimal Model Hyper Tableaux. 51-65 BibTeX
Krysia Broda, Dov M. Gabbay: CLDS for Propositional Intuitionistic Logic. 66-81 BibTeX
James Caldwell: Intuitionistic Tableau Extracted. 82-96 BibTeX
Domenico Cantone, Calogero G. Zarba: A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. 97-112 BibTeX
Agata Ciabattoni: Bounded Contraction in Systems with Linearity. 113-127 BibTeX
Philippe de Groote: The Non-Associative Lambek Calculus with Product in Polynomial Time. 128-139 BibTeX
Stéphane Demri: Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? 140-154 BibTeX
Stéphane Demri, Rajeev Goré: Cut-Free Display Calculi for Nominal Tense Logics. 155-170 BibTeX
Martin Giese, Wolfgang Ahrendt: Hilbert's epsilon-Terms in Automated Theorem Proving. 171-185 BibTeX
Paul C. Gilmore: Partial Functions in an Impredicative Simple Theory of Types. 186-201 BibTeX
Jean Goubault-Larrecq: A Simple Sequent System for First-Order Logic with Free Constructors. 202-216 BibTeX
Heiko Mantel, Jens Otten: linTAP: A Tableau Prover for Linear Logic. 217-231 BibTeX
Wolfgang May: A Tableau Calculus for a Temporal Logic with Temporal Connectives. 232-246 BibTeX
Christof Monz, Maarten de Rijke: A Tableau Calculus for Pronoun Resolution. 247-262 BibTeX
Heribert Schütz: Generating Minimal Herbrand Models Step by Step. 263-277 BibTeX
Miroslava Tzakova: Tableau Calculi for Hybrid Logics. 278-292 BibTeX
Claus-Peter Wirth: Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. 293-307 BibTeX

Contributed System Descriptions

Ulrich Endriss: An Interactive Theorem Proving Assistant. 308-312 BibTeX
Ulrich Endriss: A Time Efficient KE Based Theorem Prover. 313-318 BibTeX
Andreas Wolf, Joachim Draeger: Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). 319-323 BibTeX