On the Parameterized Complexity of Default Logic and Autoepistemic Logic.

Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer

Browse the full LATA paper archive.