Advertisement

© 2000

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

  • Roy Dyckhoff
Conference proceedings TABLEAUX 2000

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1847)

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Franz Baader, Ulrike Sattler
      Pages 1-18
    2. Melvin Fitting
      Pages 19-39
    3. Noriko H. Arai, Alasdair Urquhart
      Pages 40-51
  3. Comparison

    1. Fabio Massacci, Francesco M. Donini
      Pages 52-56
    2. Volker Haarslev, Ralf Möller
      Pages 57-61
    3. Ian Horrocks
      Pages 62-66
    4. Ullrich Hustadt, Renate A. Schmidt
      Pages 67-71
    5. Peter F. Patel-Schneider
      Pages 72-76
    6. Armando Tacchella
      Pages 77-81
  4. Research Papers

    1. Alberto Artosi, Guido Governatori, Antonino Rotolo
      Pages 82-97
    2. Matthias Baaz, Christian Fermüller, Helmut Veith
      Pages 112-126
    3. Diderik Batens, Joke Meheus
      Pages 127-142
    4. Marta Cialdea Mayer, Serenella Cerrito
      Pages 175-189
    5. Stéphane Demri
      Pages 190-204
    6. Melvin Fitting, Lars Thalmann, Andrei Voronkov
      Pages 220-236

About these proceedings

Keywords

AI Logics Automat Automated Deduction Formal Verification Logic Reason Calculi Mathematical Logics Modal Logics Tableaux Methods Theorem Proving automated reasoning

Editors and affiliations

  • Roy Dyckhoff
    • 1
  1. 1.School of Computer ScienceUniversity of St AndrewsScotland

Bibliographic information

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