Complexity Results for Logic−Based Abduction

Dades bibliogràfiques
Autors principals: Eiter, T, Gottlob, G
Format: Conference item
Publicat: 1992