Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete

Detalles Bibliográficos
Main Authors: Eiter, T, Gottlob, G
Formato: Journal article
Publicado: 1993