Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 |
|
1 | Neil V. Murray, Erik Rosenthal |
Updating Reduced Implicate Tries. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
Tableau Systems for Logics of Subinterval Structures over Dense Orderings. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Olivetti (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Guido Fiorino, Ugo Moscato |
Improvements to the Tableau Prover PITP. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, George Metcalfe |
Proof Theory for First Order Lukasiewicz Logic. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Rafael Peñaloza |
Axiom Pinpointing in General Tableaux. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Bounded Model Checking with Description Logic Reasoning. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Ekaterina Komendantskaya |
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima |
A Tableau Method for Public Announcement Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John-Jules Ch. Meyer |
Our Quest for the Holy Grail of Agent Verification. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
A Bottom-Up Approach to Clausal Tableaux. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ryo Ishigaki, Kentaro Kikuchi |
Tree-Sequent Methods for Subintuitionistic Predicate Logics. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Roderic A. Girle |
The Neighbourhood of S0.9 and S1. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
S0.9, S1, model-set semantics, interpretation, tableaux |
1 | Cesare Tinelli |
An Abstract Framework for Satisfiability Modulo Theories. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Raths, Jens Otten, Christoph Kreitz |
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Correll, Gernot Stenz |
Proof Output and Transformation for Disconnection Tableaux. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hans Jürgen Ohlbach |
Automated Reasoning in the Context of the Semantic Web. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Jens Otten |
Clausal Connection-Based Theorem Proving in Intuitionistic First-Order Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Liebig, Michael Halfmann |
A Tableau-Based Explainer for DL Subsumption. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martin Giese |
A Calculus for Type Predicates and Type Coercion. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gernot Stenz |
Unit Propagation in a Tableau Framework. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Neil V. Murray, Erik Rosenthal |
Efficient Query Processing with Compiled Knowledge Bases. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Tobias Gedell |
Embedding Static Analysis into Tableaux and Sequent Based Frameworks. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Angelo Montanari |
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
Automatic 'Descente Infinie' Induction Reasoning. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade |
LoTREC: Logical Tableaux Research Engineering Companion. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni |
Pdk: The System and Its Language. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier |
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | James Brotherston |
Cyclic Proofs for First-Order Logic with Inductive Definitions. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Swaha Miller, David A. Plaisted |
The Space Efficiency of OSHL. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Swen Jacobs, Uwe Waldmann |
Comparing Instance Generation Methods for Automated Reasoning. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Goré, Linh Anh Nguyen |
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ian Horrocks 0001 |
Description Logics in Ontology Applications. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roger Antonsen, Arild Waaler |
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tatjana Lutovac, James Harland |
A Redundancy Analysis of Sequent Proofs. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Ken Kaneiwa, Riichiro Mizoguchi |
An Order-Sorted Quantified Modal Logic for Meta-ontology. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Olivetti, Gian Luca Pozzato |
CondLean 3.0: Improving CondLean for Stronger Conditional Logics. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Maja Milicic |
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Erik Rosenthal |
Formal Versus Rigorous Mathematics: How to Get Your Papers Published. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
nature of proof, rigor, formal mathematics |
1 | Diego Calvanese |
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Nicolas Peltier |
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite Models. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank M. Brown |
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni, George Metcalfe |
Bounded Lukasiewicz Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz, Frank Wolter, Michael Zakharyaschev |
A Tableau Algorithm for Reasoning about Concepts and Similarity. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Brunet |
A Labelled Sequent-Calculus for Observation Logic. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | V. Michele Abrusci |
Non Commutative Logic: A Survey. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Marx |
XPath and Modal Logics of Finite DAG's. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Giese |
Simplification Rules for Constrained Formula Tableaux. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Frank M. Brown |
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
Tableaux with Four Signs as a Unified Framework. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann |
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Neil V. Murray, Erik Rosenthal |
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Goranko, Angelo Montanari, Guido Sciavicco |
A General Tableau Method for Propositional Interval Temporal Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand |
Dynamical Method in Algebra: A Survey. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau Calculi for Preference-Based Conditional Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Letz, Gernot Stenz |
Universal Variables in Disconnection Tableaux. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Abate, Rajeev Goré |
The Tableaux Work Bench. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Olivetti, Gian Luca Pozzato |
CondLean: A Theorem Prover for Conditional Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Reiner Hähnle, Niklas Sörensson |
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Miroslav N. Velev |
Automatic Abstraction of Equations in a Logic of Equality. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Arild Waaler, Roger Antonsen |
A Free Variable Sequent Calculus with Uniform Variable Splitting. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
SOLAR: A Consequence Finding System for Advanced Reasoning. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Christian G. Fermüller |
Parallel Dialogue Games and Hypersequents for Intermediate Logics. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer |
A General Theorem Prover for Quantified Modal Logics. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Anatoli Degtyarev, Michael Fisher 0001, Boris Konev |
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Chetcuti-Sperandio |
Tableau-Based Automated Deduction for Duration Calculus. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Linh Anh Nguyen |
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Letz, Gernot Stenz |
Integration of Equality Reasoning into the Disconnection Calculus. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Balder ten Cate, Chung-chieh Shan |
Question Answering: From Partitions to Prolog. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Ferrari 0002, Camillo Fiorentini, Guido Fiorino |
Tableau Calculi for the Logics of Finite k-Ary Trees. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hladik |
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Analytic Sequent Calculi for Abelian and ukasiewicz Logics. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Sofronie-Stokkermans |
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Claus-Peter Wirth |
A New Indefinite Semantics for Hilbert's Epsilon. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gernot Stenz |
DCTP 1.2 - System Abstract. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Martin Giese |
A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | L. Habert, J.-M. Notin, Didier Galmiche |
LINK: A Proof Environment Based on Proof Nets. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Calogero G. Zarba |
A Tableau Calculus for Combining Non-disjoint Theories. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Marta Cialdea Mayer, Carla Limongelli |
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Petermann |
A Confluent Theory Connection Calculus. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Blackburn, Maarten Marx |
Tableaux for Quantified Hybrid Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Dan E. Willard |
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001, Elaine Pimentel |
Using Linear Logic to Reason about Sequent Systems. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz |
Proof Analysis by Resolution. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Letz |
Lemma and Model Caching in Decision Procedures for Quantified Boolean Formulas. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Agata Ciabattoni |
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schmitt |
A Tableau-Like Representation Framework for Efficient Proof Reconstruction. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Artosi, Guido Governatori, Antonino Rotolo |
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Marta Cialdea Mayer, Serenella Cerrito |
Variants of First-Order Modal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Draeger |
Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|