Stock up on the latest tech titles and 2019 bestsellers. Shop the selection now >>

Lecture Notes in Artificial Intelligence

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

Editors: Galmiche, Didier (Ed.)

Free Preview

Buy this book

eBook $84.99
price for USA (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69046-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-62920-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.
The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.

Table of contents (26 chapters)

Table of contents (26 chapters)
  • MGTP: A model generation theorem prover — Its advanced features and applications —

    Pages 1-15

    Hasegawa, Ryuzo (et al.)

  • Three faces of natural deduction

    Pages 16-30

    Mints, G.

  • Tableaux for logic programming with strong negation

    Pages 31-42

    Akama, Seiki

  • Generalized tableau systems for intermediate propositional logics

    Pages 43-61

    Avellone, Alessandro (et al.)

  • Lean induction principles for tableaux

    Pages 62-75

    Baaz, Matthias (et al.)

Buy this book

eBook $84.99
price for USA (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69046-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-62920-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Reasoning with Analytic Tableaux and Related Methods
Book Subtitle
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
Editors
  • Didier Galmiche
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1227
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69046-7
DOI
10.1007/BFb0027400
Softcover ISBN
978-3-540-62920-7
Edition Number
1
Number of Pages
XII, 380
Topics