Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Neil V. Murray

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1617)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    8. Heiko Mantel, Jens Otten
      Pages 217-231
    9. Christof Monz, Maarten de Rijke
      Pages 247-262
    10. Heribert Schütz
      Pages 263-277
    11. Miroslava Tzakova
      Pages 278-292
  6. Contributed System Descriptions

    1. Ulrich Endriss
      Pages 308-313
    2. Ulrich Endriss
      Pages 313-318
    3. Andreas Wolf, Joachim Draeger
      Pages 319-323
  7. Back Matter
    Pages 325-325

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
  • Buy this book on publisher's site