Advertisement

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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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
    8. Christian G. Fermüller, Herbert Langsteiner
      Pages 156-171
    9. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
      Pages 172-186
    10. Ullrich Hustadt, Renate A. Schmidt
      Pages 187-201
    11. P. J. Martín, A. Gavilanes, J. Leach
      Pages 202-216
    12. Christof Monz, Maarten de Rijke
      Pages 232-246
    13. Sara Negri, Jan von Plato
      Pages 247-261
    14. Stephan Schmitt, Christoph Kreitz
      Pages 262-276
    15. Stefan Schwendimann
      Pages 277-291
  6. Contributed System Descriptions

  7. Back Matter
    Pages 325-325

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering