The Complexity of Reasoning for Fragments of Autoepistemic Logic

authored by

Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer

Organisation(s)

Institute of Theoretical Computer Science

Type

Technical report

Volume

abs/1006.0220

Publication date

2010

Publication status

Published

Electronic version(s)

https://dblp.org/db/journals/corr/corr1006.html#abs-1006-0220 (Access: Unknown)
http://arxiv.org/abs/1006.0220 (Access: Unknown)