Complexity Results for Logic−Based Abduction

Bibliographische Detailangaben
Hauptverfasser: Eiter, T, Gottlob, G
Format: Conference item
Veröffentlicht: 1992