Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

  • Neil V. Murray
Conference proceedings TABLEAUX 1999
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1617)

Table of contents

  1. Front Matter
    Pages I-X
  2. Extended Abstracts of Invited Lectures

  3. Comparison

    1. Peter F. Patel-Schneider, Ian Horrocks
      Pages 19-23
    2. Vijay Boyapati, Rajeev Goré
      Pages 29-31
  4. Abstracts of Tutorials

    1. Reiner Hähnle, Bernhard Beckert
      Pages 34-35
  5. Contributed Research Papers

    1. Matthias Baaz, Christian G. Fermüller
      Pages 36-51
    2. Peter Baumgartner, J. D. Horton, Bruce Spencer
      Pages 51-66
    3. Krysia Broda, Dov Gabbay
      Pages 66-82
    4. James Caldwell
      Pages 82-96
    5. Agata Ciabattoni
      Pages 113-128
    6. Stéphane Demri, Rajeev Goré
      Pages 155-170
    7. Martin Giese, Wolfgang Ahrendt
      Pages 171-185

About these proceedings

Keywords

Automat Automated Deduction Formal Systems Verification Logic Reasoning Calculi Tableaux Methods Theorem Proving automated reasoning formal verification knowledge representation logic verification

Editors and affiliations

  • Neil V. Murray
    • 1
  1. 1.Department of Computer Science, Institute for Programming and LogicsUniversity at Albany - SUNYAlbanyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48754-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66086-6
  • Online ISBN 978-3-540-48754-8
  • Series Print ISSN 0302-9743
  • About this book