Complexity Results for Logic−Based Abduction

Détails bibliographiques
Auteurs principaux: Eiter, T, Gottlob, G
Format: Conference item
Publié: 1992