Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

  • Uwe Egly
  • Chritian G. Fermüller
Conference proceedings TABLEAUX 2002
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2381)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Papers

    1. Matthias Baaz
      Pages 1-1
    2. Dale Miller, Elaine Pimentel
      Pages 2-23
  3. Research Papers

    1. Patrick Blackburn, Maarten Marx
      Pages 38-52
    2. Nathalie Chetcuti-Sperandio
      Pages 53-69
    3. Marta Cialdea Mayer, Carla Limongelli
      Pages 70-84
    4. Anatoli Degtyarev, Michael Fisher, Boris Konev
      Pages 85-99
    5. Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
      Pages 100-114
    6. Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
      Pages 115-129
    7. Reinhold Letz, Gernot Stenz
      Pages 176-190
    8. George Metcalfe, Nicola Olivetti, Dov Gabbay
      Pages 191-205
    9. Uwe Petermann
      Pages 221-234
    10. Balder ten Cate, Chung-chieh Shan
      Pages 251-265
    11. V. Thion, S. Cerrito, Marta Cialdea Mayer
      Pages 266-280

About these proceedings

Keywords

AI Logics Automated Deduction Automated Reasoning Formal Verification Linear Logics Mathematical Logics Modal Logics Resolution Tableaux Methods algorithms fuzzy logic knowledge logic optimization semantics

Editors and affiliations

  • Uwe Egly
    • 1
  • Chritian G. Fermüller
    • 2
  1. 1.Abteilung Wisssenbasierte Systeme 184/3Technische Univesität WienViennaAustria
  2. 2.Institut für Computersprachen AG Theoretische Informatik und Logik 185.2Technische Universität WienViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45616-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43929-5
  • Online ISBN 978-3-540-45616-2
  • Series Print ISSN 0302-9743
  • About this book