Search results for "hyperresolution"

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