A Hyperresolution-Based Proof Procedure and its Implementation in Prolog

Authors:
Rainer Manthey;François Bry
Affiliations:
-;-
Venue:
GWAI '87 Proceedings of the 11th German Workshop on Artificial Intelligence
Year:
1987

Citing 0
Cited 3

Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Journal of Automated Reasoning
Generating consistent test data: restricting the search space by a generator formula

The VLDB Journal — The International Journal on Very Large Data Bases
E-Matching with free variables

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract