Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ján Komara, Paul J. Voda |
On Quasitautologies. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Egly |
Non-elementary Speed-ups in Proof Length by Different Variants of Classical Analytic Calculi. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ortrun Ibens, Reinhold Letz |
Subgoal Alternation in Model Elimination. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ryuzo Hasegawa, Hiroshi Fujita 0002, Miyuki Koshimura |
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Duminda Wijesekera, M. Ganesh 0001, Jaideep Srivastava, Anil Nerode |
Tableaux for Functional Dependencies and Independencies. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Kerdiles |
Projection: A Unification Procedure for Tableaux in Conceptual Graphs. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Peltier |
Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Reiner Hähnle, Christian Pape 0001 |
Ordered Tableaux: Extensions and Applications. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Umberto Straccia |
A Sequent Calculus for Reasoning in Four-Valued Description Logics. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Shults |
A Framework for Using Knowledge in Tableau Proofs. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Didier Galmiche (eds.) |
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Peter Fröhlich 0001, Ulrich Furbach, Wolfgang Nejdl |
Tableaux for Diagnosis Applications. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Grigori Mints |
Three Faces of Natural Deduction. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang May |
Proving Correctness of Labled Transition Systems by Semantic Tableaux. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Seiki Akama |
Tableaux for Logic Programming with Strong Negation. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jacob M. Howe |
Two Loop Detection Mechanisms: A Comparision. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Li Dafa |
Automated Natural Deduction Prover and Experiments. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
ileanTAP: An Intuitionistic Theorem Prover. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Rajeev Goré |
Free Variable Tableaux for Propositional Modal Logics. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Paul Billon |
The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
A Simple Tableau System for the Logic of Elsewhere. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alain Heuerding, Michael Seyfried, Heinrich Zimmermann |
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Christian Pape 0001 |
Incremental Theory Reasoning Methods for Semantic Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Piero A. Bonatti |
Sequent Calculi for Default and Autoepistemic Logics. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | François Bry, Adnan H. Yahya |
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ilkka Niemelä |
A Tableau Calculus for Minimal Model Reasoning. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Alechina |
Interpolation for a Sequent Calculus of Generalized Quantifiers. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Marcello D'Agostino, Dov M. Gabbay |
Fibred Tableaux for Multi-Implication Logic. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Mauro Ferrari 0002 |
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (eds.) |
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy V. Pitt, Jim Cunningham |
Distributed Modal Theorem Proving with KE. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael Mendler |
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bertram Fronhöfer |
Situational Calculus, Linear Connection Proofs and STRIPS-like Planning: An Experimental Comparison. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Combining Many-valued and Intuitionistic Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter B. Andrews, Matthew Bishop |
On Sets, Types, Fixed Points, and Checkerboards. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten, Christoph Kreitz |
T-String Unification: Unifying Prefixes in Non-classical Proof Methods. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Becher |
Cyclic Connections. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eike Ritter, David J. Pym, Lincoln A. Wallen |
On the Intuitionistic Force of Classical Search (Extended Abstract). |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco |
Strong Normalization for All-Style LK. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
Linear Analytic Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Schmitt, Christoph Kreitz |
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Reiner Hähnle, Joachim Posegga (eds.) |
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Caferra, Nicolas Peltier |
Model Building and Interactive Theory Discovery. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried |
Propositional Logics on the Computer. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ingrid Neumann |
Semantic Tableaus for Inheritance Nets. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Baumgartner 0001, Frieder Stolzenburg |
Constraint Model Elimination and a PTTP-Implementation. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eric de Kogel |
Rigid E-Unification Simplified. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Judith L. Underwood |
Tableaux for Intuitionistic Predicate Logic as Metatheory. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Guido Governatori |
Labelled Tableaux for Multi-Modal Logics. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens Otten |
A Connection Based Proof Method for Intuitionistic Logic. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Christian G. Fermüller |
Non-elementary Speedups between Different Versions of Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
Higher-Order Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Klingenbeck |
Generating Finite Counter Examples with Semantic Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
Linear Logic with Isabelle: Pruning the Proof Search Tree. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath |
Issues in Theorem Proving Based on the Connection Method. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Demri |
Using Connection Method in Modal Logics: Some Advantages. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Mayr |
Link Deletion in Model Elimination. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy V. Pitt |
MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ján Komara, Paul J. Voda |
Syntactic Reduction of Predicate Tableaux to Propositional Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Hudelmaier, Peter Schroeder-Heister |
Classical Lambek Logic. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johann Schumann |
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gerd Neugebauer, Uwe Petermann |
Specifications of Inference Rules and Their Automatic Translation. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
Refutation Systems for Propositional Modal Logics. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Lamarre |
A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (eds.) |
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Jim Cunningham, Marcello D'Agostino, Jeremy V. Pitt |
Towards Tableau Theorem-Proving with Analytic Cut. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001 |
A Model Elimination Calculus with Built-in Theories (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Wilfried Neitz |
A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Raoul Vorc'h |
Generalization and Abstraction Using Tableaux-Based Proof Systems. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Tadashi Araragi |
A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Jürgen Lehmann |
A Workbench for Model Elimination (Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Vincent Risch, Camilla Schwind |
Tableaux-Based Theorem Proving and Non-Standard Reasoning. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Roderic A. Girle |
Possible Worlds Tableaux without Explicit Accessibility. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Käufl |
The Prover of the Program Verification System Tatzelwurm. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Joachim Posegga |
First-Order Shannon Graphs (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Aleksandar Krapez, Miodrag Kapetanovic, Zoran Ognjanovic, Tatjana Petrovic |
Prover 91 - A Parallel Theorem Prover (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Reiner Hähnle |
Analytic Tableau and Integer Programming (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Uwe Petermann |
Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Reinhold Letz, Klaus Mayr |
SETHEO II - The System and its Calculi. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Mark Grundy |
Toward an Efficient Tableau Metaprover (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Zoran Ognjanovic, Dragan Urosevic, Tatjana Petrovic, Zorana Ristovic |
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Nicolas Zabel |
Deciding Fragments of the First Order Logic within an Extended Tableau Method. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Robert Johnson, Steve Reeves |
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Marcello D'Agostino, Marco Mondadori |
An Improvement of Analytic Tableaux. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Anavai Ramesh, George Becker, Neil V. Murray |
On Computing Prime Implicants and Prime Implicates. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Regimantas Pliuskevicius |
The Analityc Tableaux for Linear Temporal Logic. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Oliver Bittel |
The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Peter Baumgartner 0001, Ulrich Furbach |
Consolution as a Framework for Comparing Calculi. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Graham Wrightson |
Research into Analytic Tableaux. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Toni Bollinger |
A Model Elimination Calculus for Generalized Clauses. |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Charles G. Morgan |
An Automated Theorem Prover for Relational Logic (Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
1 | Wolfgang Wernecke |
Tableau Calculus and Equational Reasoning (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|