The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for tableaux with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1981 (19) 1982-1985 (16) 1986-1989 (18) 1990-1991 (18) 1992 (45) 1993 (16) 1994 (25) 1995 (38) 1996 (44) 1997 (42) 1998 (51) 1999 (47) 2000 (54) 2001 (27) 2002 (44) 2003 (41) 2004 (19) 2005 (58) 2006 (32) 2007 (61) 2008 (26) 2009 (62) 2010 (29) 2011 (73) 2012 (22) 2013 (49) 2014 (29) 2015 (52) 2016 (16) 2017 (53) 2018 (33) 2019 (49) 2020 (17) 2021 (47) 2022-2023 (63) 2024 (6)
Publication types (Num. hits)
article(444) book(4) incollection(5) inproceedings(842) phdthesis(24) proceedings(22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 169 occurrences of 111 keywords

Results
Found 1341 publication records. Showing 1341 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
111Matti Järvisalo, Emilia Oikarinen Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
111Noriko H. Arai, Toniann Pitassi, Alasdair Urquhart The complexity of analytic tableaux. Search on Bibsonomy STOC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
111Fabio Massacci Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
99Martin Giese Simplification Rules for Constrained Formula Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
87Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade LoTREC: Logical Tableaux Research Engineering Companion. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
87Nicolas Peltier A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
87Reiner Hähnle, Niklas Sörensson Fair Constraint Merging Tableaux in Lazy Functional Programming Style. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
79Zuoquan Lin, Wei Li 0022 On Logic of Paradox. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
79Roderic A. Girle The Neighbourhood of S0.9 and S1. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF S0.9, S1, model-set semantics, interpretation, tableaux
79Matteo Baldoni, Laura Giordano 0001, Alberto Martelli A Tableau for Multimodal Logics and Some (Un)Decidability Results. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars
78Ján Komara, Paul J. Voda Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
75Jan van Eijck Constrained Hyper Tableaux. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
75Peter Baumgartner 0001, Ulrich Furbach, Ilkka Niemelä Hyper Tableaux. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
75Régis Alenda, Nicola Olivetti, Camilla Schwind Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera Tableaux and Model Checking for Memory Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
75Franz Baader, Rafael Peñaloza Axiom Pinpointing in General Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Nicolas Peltier A Bottom-Up Approach to Clausal Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
75Olivier Gasquet, Bilal Said Tableaux with Dynamic Filtration for Layered Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Layered Modal Logic, Dynamic Filtration, Satisfaction problem, Complexity, Tableau
75Tobias Gedell Embedding Static Analysis into Tableaux and Sequent Based Frameworks. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
75Arnon Avron Tableaux with Four Signs as a Unified Framework. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
75Neil V. Murray, Erik Rosenthal Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
75Pietro Abate, Rajeev Goré The Tableaux Work Bench. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
75Dan E. Willard Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
75Christian G. Fermüller, Herbert Langsteiner Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
75Christof Monz, Maarten de Rijke A Tableaux Calculus for Ambiguous Quantification. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
75Pedro J. Martín, Antonio Gavilanes, Javier Leach Free Variable Tableaux for a Logic with Term Declarations. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
63Didier Galmiche, Daniel Méry, David J. Pym Resource Tableaux. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63Carlos Areces, Valentin Cassano, Raul Fervari, Guillaume Hoffmann 0001 DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
63Christoph Wernhard Range-Restricted and Horn Interpolation through Clausal Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
63Michael Färber 0002 A Curiously Effective Backtracking Strategy for Connection Tableaux. Search on Bibsonomy AReCCa@TABLEAUX The full citation details ... 2023 DBLP  BibTeX  RDF
63Andrzej Indrzejczak, Michal Zawidzki Tableaux for Free Logics with Descriptions. Search on Bibsonomy TABLEAUX The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
63Lukas Grätz Analytic Tableaux for Non-deterministic Semantics. Search on Bibsonomy TABLEAUX The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
63Rajeev Goré, Cormac Kikkert CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-Learning and SAT. Search on Bibsonomy TABLEAUX The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
63Thomas Macaulay Ferguson Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
63Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko Constraint Tableaux for Two-Dimensional Fuzzy Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
63Katarina Britz, Ivan Varzinczak Preferential Tableaux for Contextual Defeasible ALC. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
63Michael Färber 0002, Cezary Kaliszyk Certification of Nonclausal Connection Tableaux Proofs. Search on Bibsonomy TABLEAUX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
63Peter Baumgartner 0001, Sylvie Thiébaux, Felipe W. Trevizan Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
63Lee A. Barnett Goal-Sensitive Reasoning with Disconnection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
63Guillaume Bury, David Delahaye Integrating Simplex with Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
63Cezary Kaliszyk Efficient Low-Level Connection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
63Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. Search on Bibsonomy TABLEAUX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
63Carlos Areces, Ezequiel Orbe Dealing with Symmetries in Modal Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
63Andreas Bauer 0002, Peter Baumgartner 0001, Martin Diller, Michael Norrish Tableaux for Verification of Data-Centric Processes. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
63Ulrich Furbach First-Order Tableaux in Applications (Extended Abstract). Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
63Serenella Cerrito, Marta Cialdea Mayer A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
63Mark Kaminski, Sigurd Schneider, Gert Smolka Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Chad E. Brown, Gert Smolka Terminating Tableaux for the Basic Fragment of Simple Type Theory. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Christoph Wernhard Tableaux for Projection Computation and Knowledge Compilation. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Rajeev Goré, Linh Anh Nguyen EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Philipp Correll, Gernot Stenz Proof Output and Transformation for Disconnection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Dan E. Willard On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
63Reinhold Letz, Gernot Stenz Universal Variables in Disconnection Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
63Martin Giese A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63Patrick Blackburn, Maarten Marx Tableaux for Quantified Hybrid Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
63Dan E. Willard The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Pedro J. Martín, Antonio Gavilanes Monotonic Preorders for Free Variable Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Peter Baumgartner 0003, Joseph Douglas Horton, Bruce Spencer Merge Path Improvements for Minimal Model Hyper Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
63Claus-Peter Wirth Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
63Fabio Massacci Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
63Bernhard Beckert, Dov M. Gabbay Fibring Semantic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
63Domenico Cantone A Fast Saturation Strategy for Set-Theoretic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Fabio Massacci Tableaux Methods for Access Control in Distributed Systems. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Matthias Baaz, Uwe Egly, Christian G. Fermüller Lean Induction Principles for Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Duminda Wijesekera, M. Ganesh 0001, Jaideep Srivastava, Anil Nerode Tableaux for Functional Dependencies and Independencies. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Gwen Kerdiles Projection: A Unification Procedure for Tableaux in Conceptual Graphs. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Nicolas Peltier Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Reiner Hähnle, Christian Pape 0001 Ordered Tableaux: Extensions and Applications. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Peter Baumgartner 0001, Peter Fröhlich 0001, Ulrich Furbach, Wolfgang Nejdl Tableaux for Diagnosis Applications. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Wolfgang May Proving Correctness of Labled Transition Systems by Semantic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Seiki Akama Tableaux for Logic Programming with Strong Negation. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Bernhard Beckert, Rajeev Goré Free Variable Tableaux for Propositional Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
63Bernhard Beckert, Christian Pape 0001 Incremental Theory Reasoning Methods for Semantic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
63François Bry, Adnan H. Yahya Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
63Marcello D'Agostino, Dov M. Gabbay Fibred Tableaux for Multi-Implication Logic. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
63Matthias Baaz, Christian G. Fermüller Combining Many-valued and Intuitionistic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
63Robert K. Meyer, Michael A. McRobbie, Nuel Belnap Linear Analytic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Judith L. Underwood Tableaux for Intuitionistic Predicate Logic as Metatheory. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Guido Governatori Labelled Tableaux for Multi-Modal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Matthias Baaz, Christian G. Fermüller Non-elementary Speedups between Different Versions of Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Michael Kohlhase Higher-Order Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
63Stefan Klingenbeck Generating Finite Counter Examples with Semantic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
60Stéphane Demri Efficient Strategies for Automated Reasoning in Modal Logics. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
59Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier A Schemata Calculus for Propositional Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Pierre Wolper On the Use of Automata for Deciding Linear Arithmetic. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
59Laura Giordano 0001, Valentina Gliozzi, Gian Luca Pozzato KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Shoham Ben-David, Richard J. Trefler, Grant E. Weddell Bounded Model Checking with Description Logic Reasoning. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
59Gernot Stenz Unit Propagation in a Tableau Framework. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni Pdk: The System and Its Language. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Ian Horrocks 0001 Description Logics in Ontology Applications. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Roger Antonsen, Arild Waaler Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
59Carsten Lutz, Frank Wolter, Michael Zakharyaschev A Tableau Algorithm for Reasoning about Concepts and Similarity. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Ian Horrocks 0001 The FaCT System. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Peter Balsiger, Alain Heuerding Comparison of Theorem Provers for Modal Logics - Introduction and Summary. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Bernhard Beckert, Rajeev Goré leanK 2.0. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Jeremy V. Pitt Benchmark Evaluation of Square-KE. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Ian Horrocks 0001, Peter F. Patel-Schneider FaCT and DLP. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
59Mehmet A. Orgun, Guido Governatori, Chuchang Liu Modal tableaux for verifying stream authentication protocols. Search on Bibsonomy Auton. Agents Multi Agent Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
59Pablo F. Castro, T. S. E. Maibaum A Tableaux System for Deontic Action Logic. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification
59Luigi Di Lascio Analytic fuzzy tableaux. Search on Bibsonomy Soft Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Fuzzy deductive systems, Fuzzy logic, Completeness, Decidability, Soundness, Tableaux
Displaying result #1 - #100 of 1341 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license