Complexity of propositional nested circumscription and nested abnormality theories

Marco Cadoli, Thomas Eiter, Georg Gottlob. Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log., 6(2):232-272, 2005. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: