Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions

Authors:
C Aquilano;R Barbuti;P Bocchetti;M Martelli
Affiliations:
-;-;-;-
Venue:
Journal of Automated Reasoning
Year:
1986

Citing 0
Cited 2

An interpreter for large knowledge bases

CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
A strategy for transforming generate and test logic programs

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

Quantified Score

Hi-index	0.00

Visualization

Abstract