Relacionando Resolução SLDNF e Lógica de Defaults

SILVA HEMERLY, A. ; CASANOVA, M. A. . Relacionando Resolução SLDNF e Lógica de Defaults. In: IX Simpósio Brasileiro de Inteligência Artificial (SBIA), 1992, Rio de Janeiro, RJ, Brazil. Anais do IX Simpósio Brasileiro de Inteligência Artificial. Porto Alegre: SBC, 1992.

1992