Arne Meier, Johannes Schmidt 0001, Michael Thomas, Heribert Vollmer. On the Parameterized Complexity of Default Logic and Autoepistemic Logic. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 389-400, Springer, 2012. [doi]
Abstract is missing.