Skip to main content
SpringerLink
Log in

Automated Reasoning with Analytic Tableaux and Related Methods

18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Martin Giese

    1. Department of Informatics, University of Oslo, Oslo, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arild Waaler

    1. Department of Informatics, University of Oslo, Oslo, Norway

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

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

Included in the following conference series:

Conference proceedings info: TABLEAUX 2009.

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

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Presenting Constraints

    • Peter Jeavons
    Pages 1-15

  3. On the Use of Automata for Deciding Linear Arithmetic

    • Pierre Wolper
    Pages 16-16

  4. Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus

    • Régis Alenda, Nicola Olivetti, Camilla Schwind
    Pages 17-31

  5. A Schemata Calculus for Propositional Logic

    • Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier
    Pages 32-46

  6. Tableaux and Model Checking for Memory Logics

    • Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera
    Pages 47-61

  7. Canonical Constructive Systems

    • Arnon Avron, Ori Lahav
    Pages 62-76

  8. A Novel Architecture for Situation Awareness Systems

    • Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji et al.
    Pages 77-92

  9. On the Proof Theory of Regular Fixed Points

    • David Baelde
    Pages 93-107

  10. Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus

    • Bianca Boretti, Sara Negri
    Pages 108-122

  11. A Tableau-Based System for Spatial Reasoning about Directional Relations

    • Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
    Pages 123-137

  12. Terminating Tableaux for the Basic Fragment of Simple Type Theory

    • Chad E. Brown, Gert Smolka
    Pages 138-151

  13. Modular Sequent Systems for Modal Logic

    • Kai Brünnler, Lutz Straßburger
    Pages 152-166

  14. Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions

    • Marta Cialdea Mayer
    Pages 167-172

  15. Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

    • Silvio Ghilardi, Silvio Ranise
    Pages 173-188

  16. Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

    • Rajeev Goré, Linda Postniece, Alwen Tiu
    Pages 189-204

  17. Sound Global State Caching for ALC with Inverse Roles

    • Rajeev Goré, Florian Widmann
    Pages 205-219

  18. A Tableau System for the Modal μ-Calculus

    • Natthapong Jungteerapanich
    Pages 220-234

  19. Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies

    • Mark Kaminski, Sigurd Schneider, Gert Smolka
    Pages 235-249

  20. Prime Implicate Tries

    • Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal
    Pages 250-264
Back to top

Other volumes

  1. Automated Reasoning with Analytic Tableaux and Related Methods

Keywords

About this book

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10, 2009 in Oslo, Norway. This conference was the 18th in a series of international meetings since 1992 (listed on page IX). It was collocated with FTP 2009, the Workshop on First-Order Theorem Proving. The Program Committee of TABLEAUX 2009 received 44 submissions from 24 countries. Each paper was reviewed by at least three referees, after which the reviews were sent to the authors for comment in a rebuttal phase. After a ?nal intensive discussion on the borderline papers during the online meeting of the Program Committee, 21 research papers and 1 system description were accepted based on originality, technical soundness, presentation, and relevance. Additionally,three positionpaperswereaccepted,whicharepublished asate- nical report of the University of Oslo. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members and other referees for their great e?ort and p- fessional work in the review and selection process. Their names are listed on the following pages.

Editors and Affiliations

  • Department of Informatics, University of Oslo, Oslo, Norway

    Martin Giese, Arild Waaler

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation