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 Sat May 25 19:09:52 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page