Advertisement

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings

  • Marta Cialdea Mayer
  • Fiora Pirri
Conference proceedings TABLEAUX 2003

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2796)

Table of contents

  1. Front Matter
    PDF

  2. Short Abstracts of Invited Lectures

    1. Non Commutative Logic: A Survey (Abstract)
      V. Michele Abrusci
      Pages 1-1
    2. Dynamical Method in Algebra: A Survey (Abstract)
      Thierry Coquand
      Pages 2-2
    3. Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code (Abstract)
      Johann Schumann
      Pages 3-3

  3. Research Papers

    1. Tableaux with Four Signs as a Unified Framework
      Arnon Avron
      Pages 4-16
    2. A Labelled Sequent-Calculus for Observation Logic
      Olivier Brunet
      Pages 17-31
    3. Bounded Łukasiewicz Logics
      Agata Ciabattoni, George Metcalfe
      Pages 32-47
    4. Parallel Dialogue Games and Hypersequents for Intermediate Logics
      Christian G. Fermüller
      Pages 48-64
    5. Simplification Rules for Constrained Formula Tableaux
      Martin Giese
      Pages 65-80
    6. Tableau Calculi for Preference-Based Conditional Logics
      Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
      Pages 81-101
    7. A General Tableau Method for Propositional Interval Temporal Logics
      Valentin Goranko, Angelo Montanari, Guido Sciavicco
      Pages 102-116
    8. Universal Variables in Disconnection Tableaux
      Reinhold Letz, Gernot Stenz
      Pages 117-133
    9. A Tableau Algorithm for Reasoning about Concepts and Similarity
      Carsten Lutz, Frank Wolter, Michael Zakharyaschev
      Pages 134-149
    10. XPath and Modal Logics of Finite DAG‘s
      Maarten Marx
      Pages 150-164
    11. Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation
      Neil V. Murray, Erik Rosenthal
      Pages 165-180
    12. A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models
      Nicolas Peltier
      Pages 181-195
    13. Automatic Abstraction of Equations in a Logic of Equality
      Miroslav N. Velev
      Pages 196-213
    14. A Free Variable Sequent Calculus with Uniform Variable Splitting
      Arild Waaler, Roger Antonsen
      Pages 214-229

  4. System Description

    1. The Tableaux Work Bench
      Pietro Abate, Rajeev Goré
      Pages 230-236
    2. Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic Logic
      Frank M. Brown
      Pages 237-245
    3. Logistica 2.0: A Technology for Implementing Automatic Deduction Systems
      Frank M. Brown
      Pages 246-251
    4. Fair Constraint Merging Tableaux in Lazy Functional Programming Style
      Reiner Hähnle, Niklas Sörensson
      Pages 252-256
    5. SOLAR: A Consequence Finding System for Advanced Reasoning
      Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
      Pages 257-263
    6. CondLean: A Theorem Prover for Conditional Logics
      Nicola Olivetti, Gian Luca Pozzato
      Pages 264-270
  5. Back Matter
    PDF

About these proceedings

Introduction

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.

The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

Keywords

AI logics Automat Tableaux methods Text automated deduction automated reasoning conditional logics formal verification hybrid logic logic logic programming logical reasoning modal logics observation logics temporal logics

Editors and affiliations

  • Marta Cialdea Mayer
    • 1
  • Fiora Pirri
    • 2
  1. 1.Dipartimento di Informatica e AutomazioneUniversità di Roma TreRomaItalia
  2. 2.Dipartimento di Informatica e Sistemistica (DIS)Sapienza, University of Rome “Sapienza”Roma

Bibliographic information

  • DOI https://doi.org/10.1007/b12030
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40787-4
  • Online ISBN 978-3-540-45206-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site