Advertisement

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)

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
    7. Enrico Giunchiglia, Armando Tacchella
      Pages 237-251
    8. Rajeev Goré
      Pages 252-267
    9. Christoph Kreitz, Brigitte Pientka
      Pages 294-308
    10. Pedro J. Martín, Antonio Gavilanes
      Pages 309-323
    11. Maarten Marx, Szabolcs Mikulás, Mark Reynolds
      Pages 324-340
    12. David Pearce, Inmaculada P. de Guzmán, Agustín Valverde
      Pages 352-367
  5. System Descriptions

  6. Back Matter

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
  • Buy this book on publisher's site