Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1998

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

Editors:

  1. Harrie Swart

    1. Faculty of Philosophy, Tilburg University, Tilburg, The Netherlands

    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 1397)

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

Conference series link(s): TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Conference proceedings info: TABLEAUX 1998.

Sections

Buy it now

eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

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

Table of contents (32 papers)

  1. Front Matter

    Pages I-X
    PDF

  2. Extended Abstracts of Invited Lectures

    3. Model Checking: Historical Perspective and Example (Extended Abstract)

      • Edmund M. Clarke, Sergey Berezin
      Pages 18-24

  3. Comparison

    2. FaCT and DLP

      • Ian Horrocks, Peter F. Patel-Schneider
      Pages 27-30

    3. Prover KT4

      • Michel Levy
      Pages 31-32

    4. leanK 2.0

      • Bernhard Beckert, Rajeev Goré
      Pages 33-34

    5. Logics Workbench 1.0

      • Peter Balsiger, Alain Heuerding, Stefan Schwendimann
      Pages 35-35

    6. Optimised Functional Translation and Resolution

      • Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
      Pages 36-37

    7. Benchmark Evaluation of â–¡KE

      • Jeremy Pitt
      Pages 38-39

  4. Abstracts of the Tutorials

  5. Contributed Research Papers

    1. A Tableau Calculus for Multimodal Logics and Some (Un)Decidability Results

      • Matteo Baldoni, Laura Giordano, Alberto Martelli
      Pages 44-59

    2. Hyper Tableau — The Next Generation

      • Peter Baumgartner
      Pages 60-76

    3. Fibring Semantic Tableaux

      • Bernhard Beckert, Dov Gabbay
      Pages 77-92

    4. A Tableau Calculus for Quantifier-Free Set Theoretic Formulae

      • Bernhard Beckert, Ulrike Hartmer
      Pages 93-107

    5. A Tableau Method for Interval Temporal Logic with Projection

      • Howard Bowman, Simon Thompson
      Pages 108-123

    6. Bounded Model Search in Linear Temporal Logic and Its Application to Planning

      • Serenella Cerrito, Marta Cialdea Mayer
      Pages 124-140

    7. On Proof Complexity of Circumscription

      • Uwe Egly, Hans Tompits
      Pages 141-155
Back to top

Other Volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Back to top

Keywords

Back to top

Editors and Affiliations

  • Faculty of Philosophy, Tilburg University, Tilburg, The Netherlands

    Harrie Swart

Back to top

Bibliographic Information

  • Book Title: Automated Reasoning with Analytic Tableaux and Related Methods

  • Book Subtitle: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings

  • Editors: Harrie Swart

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-69778-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • eBook ISBN: 978-3-540-69778-7Published: 26 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 325

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation