Semantics and Complexity of Abduction from Default Theories

Detalles Bibliográficos
Main Authors: Eiter, T, Gottlob, G, Leone, N
Formato: Conference item
Publicado: 1995