The Complexity of Reasoning for Fragments of Autoepistemic Logic

Nadia Creignou, Arne Meier, Heribert Vollmer, Michael Thomas. The Complexity of Reasoning for Fragments of Autoepistemic Logic. ACM Trans. Comput. Log., 13(2):17, 2012. [doi]

Abstract

Abstract is missing.