Complexity of propositional nested circumscription and nested abnormality theories
Marco Cadoli‚ Thomas Eiter and Georg Gottlob
Details
| Journal |
ACM Trans. Comput. Log. |
| Number |
2 |
| Pages |
232−272 |
| Volume |
6 |
| Year |
2005 |
Links
Related pages
|
People |