Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Didier Galmiche
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: TABLEAUX 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. MGTP: A model generation theorem prover — Its advanced features and applications —

    • Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
    Pages 1-15

  3. Three faces of natural deduction

    • G. Mints
    Pages 16-30

  4. Tableaux for logic programming with strong negation

    • Seiki Akama
    Pages 31-42

  5. Generalized tableau systems for intermediate propositional logics

    • Alessandro Avellone, Ugo Moscato, Pierangelo Miglioli, Mario Ornaghi
    Pages 43-61

  6. Lean induction principles for tableaux

    • Matthias Baaz, Uwe Egly, Christian G. Fermüller
    Pages 62-75

  7. Tableaux for diagnosis applications

    • Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
    Pages 76-90

  8. Free variable tableaux for propositional modal logics

    • Bernhard Beckert, Rajeev Goré
    Pages 91-106

  9. A sequent calculus for skeptical Default Logic

    • P. A. Bonatti, N. Olivetti
    Pages 107-121

  10. A fast saturation strategy for set-theoretic tableaux

    • Domenico Cantone
    Pages 122-137

  11. Hintikka multiplicities in matrix decision methods for some propositional modal logics

    • Serenella Cerrito, Marta Cialdea Mayer
    Pages 138-152

  12. Automated natural deduction prover and experiments

    • Li Dafa, Jia Peifa
    Pages 153-157

  13. Non-elementary speed-ups in proof length by different variants of classical analytic calculi

    • Uwe Egly
    Pages 158-172

  14. Ordered tableaux: Extensions and applications

    • Reiner Hähnle, Christian Pape
    Pages 173-187

  15. Two loop detection mechanisms: A comparison

    • Jacob M. Howe
    Pages 188-200

  16. Subgoal alternation in model elimination

    • Ortrun Ibens, Reinhold Letz
    Pages 201-215

  17. Projection: A unification procedure for tableaux in Conceptual Graphs

    • Gwen Kerdiles
    Pages 216-230

  18. On quasitautologies

    • Ján Komara, Paul J. Voda
    Pages 231-245

  19. Tableaux methods for access control in distributed systems

    • Fabio Massacci
    Pages 246-260

  20. Proving correctness of labeled transition systems by semantic tableaux

    • Wolfgang May
    Pages 261-275
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation