Abduction from Logic Programs: Semantics and Complexity

Detalhes bibliográficos
Main Authors: Eiter, T, Gottlob, G, Leone, N
Formato: Journal article
Publicado em: 1997