On the Parameterized Complexity of Default Logic and Autoepistemic Logic

Open in new window