Complexity of propositional nested circumscription and nested abnormality theories
Marco Cadoli, Thomas Eiter and Georg Gottlob infojournal | ACM Trans. Comput. Log. |
number | 2 |
pages | 232-272 |
volume | 6 |
year | 2005 |
links
BibTeX
DOI (10.1145/1055686.1055688)
related pages
|
