default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th TABLEAUX 2009: Oslo, Norway
- Martin Giese, Arild Waaler:
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 - Luís 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-23 22:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
