Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Melvin Fitting |
Modality and Databases. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gernot Stenz, Andreas Wolf 0005 |
E-SETHEO: An Automated3 Theorem Prover. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré |
Dual Intuitionistic Logic Revisited. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci, Francesco M. Donini |
Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Marx, Szabolcs Mikulás, Mark Reynolds 0001 |
The Mosaic Method for Temporal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Complexity of Simple Dependent Bimodal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kreitz, Brigitte Pientka |
Matrix-Based Inductive Theorem Proving. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Melvin Fitting, Lars Thalmann, Andrei Voronkov |
Term-Modal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Riccardo Rosati 0001 |
Tableau Calculus for Only Knowing and Knowing at Most. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ian Horrocks 0001 |
Benchmark Analysis with FaCT. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
Properties of Embeddings from Int to S4. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Enrico Giunchiglia, Armando Tacchella |
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Volker Haarslev, Ralf Möller 0001 |
Consistency Testing: The RACE Experience. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni, Mauro Ferrari 0002 |
Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Diderik Batens, Joke Meheus |
A Tableau Method for Inconsistency-Adaptive Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | David Pearce 0001, Inman P. de Guzmán, Agustín Valverde |
A Tableau Calculus for Equilibrium Entailment. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Armando Tacchella |
Evaluating *SAT on TANCS 2000 Benchmarks. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Raymond D. Gumb |
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller, Helmut Veith |
An Analytic Calculus for Quantified Propositional Gödel Logic. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Noriko H. Arai, Alasdair Urquhart |
Local Symmetries in Propositional Logic. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter F. Patel-Schneider |
TANCS-2000 Results for DLP. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone, Calogero G. Zarba |
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Carla Piazza, Alberto Policriti |
Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ullrich Hustadt, Renate A. Schmidt |
MSPASS: Modal Reasoning by Translation and First-Order Resolution. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader |
Tableau Algorithms for Description Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Pedro J. Martín, Antonio Gavilanes |
Monotonic Preorders for Free Variable Tableaux. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ortrun Ibens |
Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Heribert Schütz |
Generating Minimal Herbrand Models Step by Step. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Mantel, Jens Otten |
linTAP: A Tableau Prover for Linear Logic. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Miroslava Tzakova |
Tableau Calculi for Hybrid Logics. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci |
Automated Reasoning and the Verification of Security Protocols. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Endriss |
A Time Efficient KE Based Theorem Prover. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martin Giese, Wolfgang Ahrendt |
Hilbert's epsilon-Terms in Automated Theorem Proving. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni |
Bounded Contraction in Systems with Linearity. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Boyapati, Rajeev Goré |
KtSeqC: System Description. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0003, Joseph Douglas Horton, Bruce Spencer |
Merge Path Improvements for Minimal Model Hyper Tableaux. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Bernhard Beckert |
Proof Confluent Tableau Calculi. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Krysia Broda, Dov M. Gabbay |
CLDS for Propositional Intuitionistic Logic. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq |
A Simple Sequent System for First-Order Logic with Free Constructors. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter F. Patel-Schneider, Ian Horrocks 0001 |
DLP and FaCT. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christof Monz, Maarten de Rijke |
A Tableau Calculus for Pronoun Resolution. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang May |
A Tableau Calculus for a Temporal Logic with Temporal Connectives. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Gilmore |
Partial Functions in an Impredicative Simple Theory of Types. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | James L. Caldwell |
Intuitionistic Tableau Extracted. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth |
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone, Calogero G. Zarba |
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Volker Haarslev, Ralf Möller 0001 |
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Wolf, Joachim Draeger |
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract). |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
The Non-Associative Lambek Calculus with Product in Polynomial Time. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci |
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Analytic Calculi for Projective Logics. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri, Rajeev Goré |
Cut-Free Display Calculi for Nominal Tense Logics. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Endriss |
An Interactive Theorem Proving Assistant. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Ian Horrocks 0001 |
The FaCT System. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Balsiger, Alain Heuerding |
Comparison of Theorem Provers for Modal Logics - Introduction and Summary. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Dov M. Gabbay |
Fibring Semantic Tableaux. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Marta Cialdea Mayer |
Bounded Model Search in Linear Temporal Logic and Its Application to Planning. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller, Herbert Langsteiner |
Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Ulrike Hartmer |
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Harrie C. M. de Swart (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ullrich Hustadt, Renate A. Schmidt |
Simplification and Backjumping in Modal Tableau. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schmitt, Christoph Kreitz |
Deleting Redundancy in Proof Reconstruction. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Rajeev Goré |
leanK 2.0. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly, Hans Tompits |
On Proof Complexity of Circumscription. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Balsiger, Alain Heuerding, Stefan Schwendimann |
Logics Workbench 1.0. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy V. Pitt |
Benchmark Evaluation of Square-KE. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christof Monz, Maarten de Rijke |
A Tableaux Calculus for Ambiguous Quantification. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci |
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Sara Negri, Jan von Plato |
From Kripke Models to Algebraic Counter-Valuations. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pedro J. Martín, Antonio Gavilanes, Javier Leach |
Free Variable Tableaux for a Logic with Term Declarations. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Weich |
Decision Procedures for Intuitionistic Propositional Logic by Program Extraction. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | G. L. J. M. Janssen |
Implementation of Propositional Temporal Logics Using BDDs. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Ján Komara, Paul J. Voda |
Computer Programming as Mathematics in a Programming Language and Proof System CL. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | N. G. de Bruijn |
Philosophical Aspects of Computerized Verification of Mathematics. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Howard Bowman, Simon J. Thompson |
A Tableau Method for Interval Temporal Logic with Projection. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke, Sergey Berezin |
Model Checking: Historical Perspective and Example (Extended Abstract). |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ian Horrocks 0001, Peter F. Patel-Schneider |
FaCT and DLP. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
Hyper Tableau - The Next Generation. |
TABLEAUX |
1998 |
DBLP BibTeX RDF |
|
1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. |
TABLEAUX |
1998 |
DBLP BibTeX RDF |
|
1 | Stefan Schwendimann |
A New One-Pass Tableau Calculus for PLTL. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Alan Bundy |
A Science of Reasoning (Extended Abstract). |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Christian Urban |
Implementation of Proof Search in the Imperative Programming Language Pizza. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
Success Continuations, G4ip, Pizza |
1 | Andreas Wolf |
p-SETHEO: Strategy Parallelism in Automated Theorem Proving. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michel Levy |
Prover KT4. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Niebert, Barbara Sprick |
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Cantone |
A Fast Saturation Strategy for Set-Theoretic Tableaux. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard Mayr |
Tableau Methods for PA-Processes. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Massacci |
Tableaux Methods for Access Control in Distributed Systems. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Generalized Tableau Systems for Intemediate Propositional Logics. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti, Nicola Olivetti |
A Sequent Calculus for Skeptical Default Logic. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Serenella Cerrito, Marta Cialdea Mayer |
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Uwe Egly, Christian G. Fermüller |
Lean Induction Principles for Tableaux. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|