The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Hyperresolution with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-2000 (19) 2001-2009 (15) 2012-2023 (7)
Publication types (Num. hits)
article(12) inproceedings(29)
Venues (Conferences, Journals, ...)
CADE(5) J. Autom. Reason.(5) CSL(4) IJCCI (FCTA)(3) LPAR(3) Fuzzy Sets Syst.(2) ISMIS(2) ADBIS(1) ALP/HOA(1) ARW(1) CAEPIA(1) CoRR(1) FoIKS(1) GWAI(1) IEEE Trans. Computers(1) IJCAR(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 17 keywords

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