18. TABLEAUX 2009:
Oslo,
Norway
Martin Giese, Arild Waaler (Eds.):
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings.
Lecture Notes in Computer Science 5607 Springer 2009, ISBN 978-3-642-02715-4 
- Peter Jeavons:
Presenting Constraints.
1-15
- Pierre Wolper:
On the Use of Automata for Deciding Linear Arithmetic.
16
- Régis Alenda, Nicola Olivetti, Camilla Schwind:
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.
17-31
- Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
A Schemata Calculus for Propositional Logic.
32-46
- Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera:
Tableaux and Model Checking for Memory Logics.
47-61
- Arnon Avron, Ori Lahav:
Canonical Constructive Systems.
62-76
- Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter:
A Novel Architecture for Situation Awareness Systems.
77-92
- David Baelde:
On the Proof Theory of Regular Fixed Points.
93-107
- Bianca Boretti, Sara Negri:
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.
108-122
- Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
A Tableau-Based System for Spatial Reasoning about Directional Relations.
123-137
- Chad E. Brown, Gert Smolka:
Terminating Tableaux for the Basic Fragment of Simple Type Theory.
138-151
- Kai Brünnler, Lutz Straßburger:
Modular Sequent Systems for Modal Logic.
152-166
- Marta Cialdea Mayer:
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.
167-172
- Silvio Ghilardi, Silvio Ranise:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.
173-188
- Rajeev Goré, Linda Postniece, Alwen Tiu:
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.
189-204
- Rajeev Goré, Florian Widmann:
Sound Global State Caching for ALC with Inverse Roles.
205-219
- Natthapong Jungteerapanich:
A Tableau System for the Modal µ-Calculus.
220-234
- Mark Kaminski, Sigurd Schneider, Gert Smolka:
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.
235-249
- Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Prime Implicate Tries.
250-264
- George Metcalfe, Nicola Olivetti:
Proof Systems for a Gödel Modal Logic.
265-279
- Dirk Pattinson, Lutz Schröder:
Generic Modal Cut Elimination Applied to Conditional Logics.
280-294
- Luis Pinto, Tarmo Uustalu:
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.
295-309
- Renate A. Schmidt, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi.
310-324
- Christoph Wernhard:
Tableaux for Projection Computation and Knowledge Compilation.
325-340
Last update Fri May 25 08:42:43 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
