Lecture Notes in Artificial Intelligence

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Editors: Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. (Eds.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-540-68368-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-61208-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

Table of contents (2 chapters)

  • Incremental theory reasoning methods for semantic tableaux

    Bernhard Beckert, Christian Pape

    Pages 93-109

  • Minimal model generation with positive unit hyper-resolution tableaux

    François Bry, Adnan Yahya

    Pages 143-159

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-540-68368-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-61208-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theorem Proving with Analytic Tableaux and Related Methods
Book Subtitle
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Editors
  • Pierangelo Miglioli
  • Ugo Moscato
  • Daniele Mundici
  • Mario Ornaghi
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1071
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68368-1
DOI
10.1007/3-540-61208-4
Softcover ISBN
978-3-540-61208-7
Edition Number
1
Number of Pages
XII, 336
Topics