Abduction from Logic Programs: Semantics and Complexity

Dades bibliogràfiques
Autors principals: Eiter, T, Gottlob, G, Leone, N
Format: Journal article
Publicat: 1997