Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Nicolas Peltier |
Some Techniques for Proving Termination of the Hyperresolution Calculus. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
hyperresolution, decision procedures, complexity measures |
68 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
A New Clausal Class Decidable by Hyperresolution. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
68 | Alexander Leitsch |
Deciding Horn Classes by Hyperresolution. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
|
56 | Viorica Sofronie-Stokkermans |
On Uniform Word Problems Involving Bridging Operators on Distributive Lattices. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
49 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
49 | Dietmar Seipel, Ulrich Geske |
Cardinality Constraints in Disjunctive Deductive Databases. |
Semantics in Databases |
2001 |
DBLP DOI BibTeX RDF |
hyperresolution, constraint logic programming, disjunctive logic programming, cardinality constraints |
49 | James J. Lu, Neil V. Murray, Erik Rosenthal |
Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
38 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Christian G. Fermüller, Alexander Leitsch |
Model Building by Resolution. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
Hyperresolution for Gödel logic with truth constants. |
Fuzzy Sets Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
Hyperresolution for Propositional Product Logic. |
IJCCI (FCTA) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
An Order Hyperresolution Calculus for G"{o}del Logic with Truth Constants and Equality, Strict Order, Delta. |
IJCCI (FCTA) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
An Order Hyperresolution Calculus for Gödel Logic with Truth Constants. |
IJCCI (FCTA) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
An Order Hyperresolution Calculus for Gödel Logic - General First-order Case. |
IJCCI |
2012 |
DBLP BibTeX RDF |
|
31 | Dusan Guller |
A Generalisation of the Hyperresolution Principle to First Order Gödel Logic. |
IJCCI (Selected Papers) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Dusan Guller |
On the refutational completeness of signed binary resolution and hyperresolution. |
Fuzzy Sets Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Hyperresolution for guarded formulae. |
J. Symb. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
31 | François Bry, Adnan H. Yahya |
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. |
J. Autom. Reason. |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
Hyperresolution for Guarded Formulae. |
ARW |
2000 |
DBLP BibTeX RDF |
|
31 | Christian G. Fermüller, Alexander Leitsch |
Hyperresolution and Automated Model Building. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Larry Wos |
The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. |
J. Autom. Reason. |
1988 |
DBLP DOI BibTeX RDF |
|
31 | Rainer Manthey, François Bry |
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. |
GWAI |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Steven K. Winker |
An Evaluation of an Implementation of Qualified Hyperresolution. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
|
19 | Boris Motik, Robert D. C. Shearer, Ian Horrocks 0001 |
Optimized Reasoning in Description Logics Using Hypertableaux. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Andreas Behrend |
A Fixpoint Approach to State Generation for Stratifiable Disjunctive Deductive Databases. |
ADBIS |
2007 |
DBLP DOI BibTeX RDF |
Deductive Databases, View Updating, Disjunctive Datalog |
19 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Kaustuv Chaudhuri, Frank Pfenning |
Focusing the Inverse Method for Linear Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
19 | C. A. Johnson |
Top-Down Query Processing in First-Order Deductive Databases under the DWFS. |
J. Autom. Reason. |
2004 |
DBLP DOI BibTeX RDF |
top-down query processing, disjunctive well-founded semantics, deductive databases |
19 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Cut-Elimination: Experiments with CERES. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
19 | José A. Maestro, María Aránzazu Simón Hurtado, Mario López, Alejandra Martínez-Monés, Carlos J. Alonso |
A Proposal of Diagnosis for an ITS for Computational Logic. |
CAEPIA |
2003 |
DBLP DOI BibTeX RDF |
Knowledge-based Systems, Intelligent Tutoring Systems, Model-based Diagnosis, Computational Logic |
19 | C. A. Johnson |
Top-Down Query Processing in First Order Deductive Databases under the DWFS. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Thierry Coquand, Guo-Qiang Zhang 0001 |
Sequents, Frames, and Completeness. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Dietmar Seipel |
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. |
FoIKS |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Alexandre Riazanov, Andrei Voronkov |
Vampire. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Slim Abdennadher, Heribert Schütz |
Model Generation with Existentially Quantified Variables and Constraints. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Hans de Nivelle |
An Algorithm for the Retrieval of Unifiers from Discrimination Trees. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
Algorithms, Implementation, Automated Theorem Proving |
19 | Christian B. Suttner |
Parallel Computation of Multiple Sets-of_Support. |
LPAR |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler |
Automated Reasoning Contributed to Mathematics and Logic. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Yusuf Ozturk, Lawrence J. Henschen |
Hyper Resolution and Equality Axioms without Function Substitutions. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Neil V. Murray, Erik Rosenthal |
Inference with path resolution and semantic graphs. |
J. ACM |
1987 |
DBLP DOI BibTeX RDF |
|