Advertisement

© 1999

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)

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

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

  • Book Title Automated Reasoning with Analytic Tableaux and Related Methods
  • Book Subtitle International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
  • Editors Neil V. Murray
  • Series Title Lecture Notes in Computer Science
  • 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
  • Softcover ISBN 978-3-540-66086-6
  • eBook ISBN 978-3-540-48754-8
  • Series ISSN 0302-9743
  • Edition Number 1
  • Number of Pages X, 334
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Natural Language Processing (NLP)
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering