Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

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

  • Conference proceedings
  • © 1998

Overview

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)

Included in the following conference series:

Conference proceedings info: TABLEAUX 1998.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Extended Abstracts of Invited Lectures

    1. Philosophical Aspects of Computerized Verification of Mathematics

      • N. G. de Bruijn
      Pages 1-9

    2. A Science of Reasoning (Extended Abstract)

      • Alan Bundy
      Pages 10-17

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

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

  3. Comparison

    1. Comparison of Theorem Provers for Modal Logics — Introduction and Summary

      • Peter Balsiger, Alain Heuerding
      Pages 25-26

    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

    1. Implementation of Propositional Temporal Logics Using BDDs

      • G. L. J. M. Janssen
      Pages 40-41

    2. Computer Programming as Mathematics in a Programming Language and Proof System CL

      • Ján Komara, Paul J. Voda
      Pages 42-43

  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

Keywords

Editors and Affiliations

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

    Harrie Swart

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

Publish with us

Policies and ethics

Back to top

Search

Navigation