Search results for "Tableaux"

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