↓ Skip to main content
What is this page? Embed badge

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings

Overview of attention for book
Cover of 'Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Nonmonotonic Description Logics – Requirements, Theory, and Implementations
  3. Altmetric Badge
    Chapter 2 Our Quest for the Holy Grail of Agent Verification
  4. Altmetric Badge
    Chapter 3 An Abstract Framework for Satisfiability Modulo Theories
  5. Altmetric Badge
    Chapter 4 Axiom Pinpointing in General Tableaux
  6. Altmetric Badge
    Chapter 5 Proof Theory for First Order Łukasiewicz Logic
  7. Altmetric Badge
    Chapter 6 A Tableau Method for Public Announcement Logics
  8. Altmetric Badge
    Chapter 7 Bounded Model Checking with Description Logic Reasoning
  9. Altmetric Badge
    Chapter 8 Tableau Systems for Logics of Subinterval Structures over Dense Orderings
  10. Altmetric Badge
    Chapter 9 A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
  11. Altmetric Badge
    Chapter 10 Tableaux with Dynamic Filtration for Layered Modal Logics
  12. Altmetric Badge
    Chapter 11 The Neighbourhood of S0.9 and S1
  13. Altmetric Badge
    Chapter 12 EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
  14. Altmetric Badge
    Chapter 13 Tree-Sequent Methods for Subintuitionistic Predicate Logics
  15. Altmetric Badge
    Chapter 14 A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
  16. Altmetric Badge
    Chapter 15 Updating Reduced Implicate Tries
  17. Altmetric Badge
    Chapter 16 A Bottom-Up Approach to Clausal Tableaux
  18. Altmetric Badge
    Chapter 17 Differential Dynamic Logic for Verifying Parametric Hybrid Systems
  19. Altmetric Badge
    Chapter 18 Improvements to the Tableau Prover PITP
  20. Altmetric Badge
    Chapter 19 KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
Published by
Springer, January 2007
DOI 10.1007/978-3-540-73099-6
ISBNs
978-3-54-073098-9, 978-3-54-073099-6
Authors

Olivetti, Nicola

Editors

Olivetti, Nicola

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.