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
Institute of Microbiology

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)