DMCA

On the Parameterized Complexity of Default Logic and Autoepistemic Logic∗

by Arne Meier , Johannes Schmidt , Michael Thomas , Heribert Vollmer