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
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)