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

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

Editors:

  1. Roy Dyckhoff

    1. School of Computer Science, University of St Andrews, Scotland

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

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

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

Table of contents (34 papers)

  1. Front Matter

    PDF

  2. Invited Lectures

    1. Tableau Algorithms for Description Logics

      • Franz Baader, Ulrike Sattler
      Pages 1-18

    2. Modality and Databases

      • Melvin Fitting
      Pages 19-39

    3. Local Symmetries in Propositional Logic

      • Noriko H. Arai, Alasdair Urquhart
      Pages 40-51

  3. Comparison

    1. Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison

      • Fabio Massacci, Francesco M. Donini
      Pages 52-56

    2. Consistency Testing: The RACE Experience

      • Volker Haarslev, Ralf Möller
      Pages 57-61

    3. Benchmark Analysis with FaCT

      • Ian Horrocks
      Pages 62-66

    4. MSPASS: Modal Reasoning by Translation and First-Order Resolution

      • Ullrich Hustadt, Renate A. Schmidt
      Pages 67-71

    5. TANCS-2000 Results for DLP

      • Peter F. Patel-Schneider
      Pages 72-76

    6. Evaluating *SAT on TANCS 2000 Benchmarks

      • Armando Tacchella
      Pages 77-81

  4. Research Papers

    1. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations

      • Alberto Artosi, Guido Governatori, Antonino Rotolo
      Pages 82-97

    3. An Analytic Calculus for Quantified Propositional Gödel Logic

      • Matthias Baaz, Christian Fermüller, Helmut Veith
      Pages 112-126

    4. A Tableau Method for Inconsistency-Adaptive Logics

      • Diderik Batens, Joke Meheus
      Pages 127-142

    7. Variants of First-Order Modal Logics

      • Marta Cialdea Mayer, Serenella Cerrito
      Pages 175-189

    8. Complexity of Simple Dependent Bimodal Logics

      • Stéphane Demri
      Pages 190-204

    10. Term-Modal Logics

      • Melvin Fitting, Lars Thalmann, Andrei Voronkov
      Pages 220-236
Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Computer Science, University of St Andrews, Scotland

    Roy Dyckhoff

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Search

Navigation