Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Roy Dyckhoff
Part of the Lecture Notes in Computer Science book series (LNCS, 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

  • DOI https://doi.org/10.1007/10722086
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67697-3
  • Online ISBN 978-3-540-45008-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book