Explaining SLDNF resolution with non-normal defaults

Authors:
M. A. Casanova;A. S. Hemerly;R. A. de T. Guerreiro
Affiliations:
-;-;-
Venue:
IBM Journal of Research and Development
Year:
1992

Citing 3
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs

Foundations of deductive databases and logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract