The Complexity of Reasoning for Fragments of Autoepistemic Logic

verfasst von

Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer

Organisationseinheit(en)

Institut für Theoretische Informatik
Institut für Mikrobiologie

Typ

Technical Report

Band

abs/1006.0220

Publikationsdatum

2010

Publikationsstatus

Veröffentlicht

Elektronische Version(en)

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