Search results for "Tableaux"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Ryo Ishigaki, Kentaro Kikuchi	Tree-Sequent Methods for Subintuitionistic Predicate Logics.	TABLEAUX	2007	DBLP DOI BibTeX RDF
48	Cesare Tinelli	An Abstract Framework for Satisfiability Modulo Theories.	TABLEAUX	2007	DBLP DOI BibTeX RDF
48	Bernhard Beckert (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Thomas Raths, Jens Otten, Christoph Kreitz	The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Hans Jürgen Ohlbach	Automated Reasoning in the Context of the Semantic Web.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Jens Otten	Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Thorsten Liebig, Michael Halfmann	A Tableau-Based Explainer for DL Subsumption.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Martin Giese	A Calculus for Type Predicates and Type Coercion.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Neil V. Murray, Erik Rosenthal	Efficient Query Processing with Compiled Knowledge Bases.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Yoshinori Tanabe, Koichi Takahashi, Mitsuharu Yamamoto, Akihiko Tozawa, Masami Hagiya	A Decision Procedure for the Alternation-Free Two-Way Modal µ-Calculus.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Davide Bresolin, Angelo Montanari	A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Sorin Stratulat	Automatic 'Descente Infinie' Induction Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Serge Autexier	On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	James Brotherston	Cyclic Proofs for First-Order Logic with Inductive Definitions.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Swaha Miller, David A. Plaisted	The Space Efficiency of OSHL.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Swen Jacobs, Uwe Waldmann	Comparing Instance Generation Methods for Automated Reasoning.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Rajeev Goré, Linh Anh Nguyen	A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Tatjana Lutovac, James Harland	A Redundancy Analysis of Sequent Proofs.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Domenico Cantone, Calogero G. Zarba	A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Ken Kaneiwa, Riichiro Mizoguchi	An Order-Sorted Quantified Modal Logic for Meta-ontology.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Nicola Olivetti, Gian Luca Pozzato	CondLean 3.0: Improving CondLean for Stronger Conditional Logics.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Carsten Lutz, Maja Milicic	A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Erik Rosenthal	Formal Versus Rigorous Mathematics: How to Get Your Papers Published.	TABLEAUX	2005	DBLP DOI BibTeX RDF	nature of proof, rigor, formal mathematics
48	Diego Calvanese	Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.	TABLEAUX	2005	DBLP DOI BibTeX RDF
48	Marta Cialdea Mayer, Fiora Pirri (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Frank M. Brown	Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Agata Ciabattoni, George Metcalfe	Bounded Lukasiewicz Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Olivier Brunet	A Labelled Sequent-Calculus for Observation Logic.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	V. Michele Abrusci	Non Commutative Logic: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Maarten Marx	XPath and Modal Logics of Finite DAG's.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Frank M. Brown	Logistica 2.0: A Technology for Implementing Automatic Deduction Systems.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Johann Schumann	Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A General Tableau Method for Propositional Interval Temporal Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Thierry Coquand	Dynamical Method in Algebra: A Survey.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind	Tableau Calculi for Preference-Based Conditional Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Nicola Olivetti, Gian Luca Pozzato	CondLean: A Theorem Prover for Conditional Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Miroslav N. Velev	Automatic Abstraction of Equations in a Logic of Equality.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Arild Waaler, Roger Antonsen	A Free Variable Sequent Calculus with Uniform Variable Splitting.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue	SOLAR: A Consequence Finding System for Advanced Reasoning.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Christian G. Fermüller	Parallel Dialogue Games and Hypersequents for Intermediate Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
48	Uwe Egly, Christian G. Fermüller (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer	A General Theorem Prover for Quantified Modal Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Anatoli Degtyarev, Michael Fisher 0001, Boris Konev	A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Nathalie Chetcuti-Sperandio	Tableau-Based Automated Deduction for Duration Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Reinhold Letz, Gernot Stenz	Integration of Equality Reasoning into the Disconnection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Balder ten Cate, Chung-chieh Shan	Question Answering: From Partitions to Prolog.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino	Tableau Calculi for the Logics of Finite k-Ary Trees.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Jan Hladik	Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	George Metcalfe, Nicola Olivetti, Dov M. Gabbay	Analytic Sequent Calculi for Abelian and ukasiewicz Logics.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Viorica Sofronie-Stokkermans	On Uniform Word Problems Involving Bridging Operators on Distributive Lattices.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Claus-Peter Wirth	A New Indefinite Semantics for Hilbert's Epsilon.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Gernot Stenz	DCTP 1.2 - System Abstract.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	L. Habert, J.-M. Notin, Didier Galmiche	LINK: A Proof Environment Based on Proof Nets.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Calogero G. Zarba	A Tableau Calculus for Combining Non-disjoint Theories.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Marta Cialdea Mayer, Carla Limongelli	Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Uwe Petermann	A Confluent Theory Connection Calculus.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Dale Miller 0001, Elaine Pimentel	Using Linear Logic to Reason about Sequent Systems.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Matthias Baaz	Proof Analysis by Resolution.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Reinhold Letz	Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Matthias Baaz, Agata Ciabattoni	A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic.	TABLEAUX	2002	DBLP DOI BibTeX RDF
48	Roy Dyckhoff (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Stephan Schmitt	A Tableau-Like Representation Framework for Efficient Proof Reconstruction.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Alberto Artosi, Guido Governatori, Antonino Rotolo	A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Marta Cialdea Mayer, Serenella Cerrito	Variants of First-Order Modal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Joachim Draeger	Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Melvin Fitting	Modality and Databases.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Gernot Stenz, Andreas Wolf 0005	E-SETHEO: An Automated3 Theorem Prover.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Rajeev Goré	Dual Intuitionistic Logic Revisited.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Fabio Massacci, Francesco M. Donini	Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Maarten Marx, Szabolcs Mikulás, Mark Reynolds 0001	The Mosaic Method for Temporal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Stéphane Demri	Complexity of Simple Dependent Bimodal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Christoph Kreitz, Brigitte Pientka	Matrix-Based Inductive Theorem Proving.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Melvin Fitting, Lars Thalmann, Andrei Voronkov	Term-Modal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Riccardo Rosati 0001	Tableau Calculus for Only Knowing and Knowing at Most.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Ian Horrocks 0001	Benchmark Analysis with FaCT.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Uwe Egly	Properties of Embeddings from Int to S4.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Arnon Avron	A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Linh Anh Nguyen	Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Enrico Giunchiglia, Armando Tacchella	A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Volker Haarslev, Ralf Möller 0001	Consistency Testing: The RACE Experience.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Agata Ciabattoni, Mauro Ferrari 0002	Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Diderik Batens, Joke Meheus	A Tableau Method for Inconsistency-Adaptive Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	David Pearce 0001, Inman P. de Guzmán, Agustín Valverde	A Tableau Calculus for Equilibrium Entailment.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Armando Tacchella	Evaluating *SAT on TANCS 2000 Benchmarks.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Raymond D. Gumb	Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Matthias Baaz, Christian G. Fermüller, Helmut Veith	An Analytic Calculus for Quantified Propositional Gödel Logic.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Noriko H. Arai, Alasdair Urquhart	Local Symmetries in Propositional Logic.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Peter F. Patel-Schneider	TANCS-2000 Results for DLP.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Domenico Cantone, Calogero G. Zarba	A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Carla Piazza, Alberto Policriti	Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Ullrich Hustadt, Renate A. Schmidt	MSPASS: Modal Reasoning by Translation and First-Order Resolution.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Franz Baader	Tableau Algorithms for Description Logics.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Ortrun Ibens	Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints.	TABLEAUX	2000	DBLP DOI BibTeX RDF
48	Neil V. Murray (eds.)	Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Heribert Schütz	Generating Minimal Herbrand Models Step by Step.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Stéphane Demri	Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Heiko Mantel, Jens Otten	linTAP: A Tableau Prover for Linear Logic.	TABLEAUX	1999	DBLP DOI BibTeX RDF
48	Randal E. Bryant, Steven M. German, Miroslav N. Velev	Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions.	TABLEAUX	1999	DBLP DOI BibTeX RDF