Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

  • Marta Cialdea Mayer
  • Fiora Pirri
Conference proceedings TABLEAUX 2003

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

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

Table of contents

  1. Front Matter
  2. Short Abstracts of Invited Lectures

  3. Research Papers

    1. Agata Ciabattoni, George Metcalfe
      Pages 32-47
    2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
      Pages 81-101
    3. Valentin Goranko, Angelo Montanari, Guido Sciavicco
      Pages 102-116
    4. Reinhold Letz, Gernot Stenz
      Pages 117-133
    5. Carsten Lutz, Frank Wolter, Michael Zakharyaschev
      Pages 134-149
    6. Maarten Marx
      Pages 150-164
    7. Arild Waaler, Roger Antonsen
      Pages 214-229
  4. System Description

  5. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.


AI logics Automat Tableaux methods Text automated deduction automated reasoning conditional logics formal verification hybrid logic logic logic programming logical reasoning modal logics observation logics temporal logics

Editors and affiliations

  • Marta Cialdea Mayer
    • 1
  • Fiora Pirri
    • 2
  1. 1.Dipartimento di Informatica e AutomazioneUniversità di Roma TreRomaItalia
  2. 2.Dipartimento di Informatica e Sistemistica (DIS)Sapienza, University of Rome “Sapienza”Roma

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40787-4
  • Online ISBN 978-3-540-45206-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site