Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

  • Harrie de Swart
Conference proceedings TABLEAUX 1998
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1397)

Table of contents

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

  3. Comparison

    1. Ian Horrocks, Peter F. Patel-Schneider
      Pages 27-30
    2. Michel Levy
      Pages 31-32
    3. Bernhard Beckert, Rajeev Goré
      Pages 33-34
    4. Peter Balsiger, Alain Heuerding, Stefan Schwendimann
      Pages 35-35
    5. Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
      Pages 36-37
    6. Jeremy Pitt
      Pages 38-39
  4. Abstracts of the Tutorials

  5. Contributed Research Papers

    1. Matteo Baldoni, Laura Giordano, Alberto Martelli
      Pages 44-59
    2. Peter Baumgartner
      Pages 60-76
    3. Bernhard Beckert, Dov Gabbay
      Pages 77-92
    4. Bernhard Beckert, Ulrike Hartmer
      Pages 93-107
    5. Howard Bowman, Simon Thompson
      Pages 108-123
    6. Serenella Cerrito, Marta Cialdea Mayer
      Pages 124-140
    7. Uwe Egly, Hans Tompits
      Pages 141-155

About these proceedings

Keywords

Resolution Variable automated deduction automated reasoning automated theorem proving complexity inference engine knowledge knowledge representation logic mathematics parallelism proving theorem proving verification

Editors and affiliations

  • Harrie de Swart
    • 1
  1. 1.Faculty of PhilosophyTilburg UniversityTilburgThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-69778-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64406-4
  • Online ISBN 978-3-540-69778-7
  • Series Print ISSN 0302-9743
  • About this book