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 |
|