Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Uwe Egly

    1. Abteilung Wisssenbasierte Systeme 184/3, Technische Univesität Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chritian G. Fermüller

    1. Institut für Computersprachen AG Theoretische Informatik und Logik 185.2, Technische Universität Wien, Vienna, Austria

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

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2002.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy 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

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (24 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Proof Analysis by Resolution

      • Matthias Baaz
      Pages 1-1

    2. Using Linear Logic to Reason about Sequent Systems

      • Dale Miller, Elaine Pimentel
      Pages 2-23

  3. Research Papers

    1. A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic

      • Matthias Baaz, Agata Ciabattoni
      Pages 24-37

    2. Tableaux for Quantified Hybrid Logic

      • Patrick Blackburn, Maarten Marx
      Pages 38-52

    3. Tableau-Based Automated Deduction for Duration Calculus

      • Nathalie Chetcuti-Sperandio
      Pages 53-69

    4. Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge

      • Marta Cialdea Mayer, Carla Limongelli
      Pages 70-84

    5. A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

      • Anatoli Degtyarev, Michael Fisher, Boris Konev
      Pages 85-99

    6. Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

      • Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
      Pages 100-114

    7. Tableau Calculi for the Logics of Finite k-Ary Trees

      • Mauro Ferrari, Camillo Fiorentini, Guido Fiorino
      Pages 115-129

    8. A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition

      • Martin Giese
      Pages 130-144

    9. Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment

      • Jan Hladik
      Pages 145-159

    10. Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas

      • Reinhold Letz
      Pages 160-175

    11. Integration of Equality Reasoning into the Disconnection Calculus

      • Reinhold Letz, Gernot Stenz
      Pages 176-190

    12. Analytic Sequent Calculi for Abelian and Łukasiewicz Logics

      • George Metcalfe, Nicola Olivetti, Dov Gabbay
      Pages 191-205

    13. Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief

      • Linh Anh Nguyen
      Pages 206-220

    14. A Confluent Theory Connection Calculus

      • Uwe Petermann
      Pages 221-234

    15. On Uniform Word Problems Involving Bridging Operators on Distributive Lattices

      • Viorica Sofronie-Stokkermans
      Pages 235-250

    16. Question Answering: From Partitions to Prolog

      • Balder ten Cate, Chung-chieh Shan
      Pages 251-265

    17. A General Theorem Prover for Quantified Modal Logics

      • V. Thion, S. Cerrito, Marta Cialdea Mayer
      Pages 266-280
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Editors and Affiliations

  • Abteilung Wisssenbasierte Systeme 184/3, Technische Univesität Wien, Vienna, Austria

    Uwe Egly

  • Institut für Computersprachen AG Theoretische Informatik und Logik 185.2, Technische Universität Wien, Vienna, Austria

    Chritian G. Fermüller

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation