Abduction from Logic Programs: Semantics and Complexity

Bibliographische Detailangaben
Hauptverfasser: Eiter, T, Gottlob, G, Leone, N
Format: Journal article
Veröffentlicht: 1997