Paper

Explaining SLDNF Resolution with Non-Normal Defaults

CASANOVA, M. A.; SILVA HEMERLY, A. ; GUERREIRO, R. . Explaining SLDNF Resolution with Non-Normal Defaults. In: 8th International Conference on Logic Programming (ICLP), 1991, Paris, France. Proceedings of the 8th International Conference on Logic Programming. Boston: MIT Press, 1991. p. 18-31.

1991

Created by Lattes PostCaptcha Importer at 2018-06-05 18:27:28.0.
Simplified Graph of Associations
Quid