Picture for Michael Thomas

Michael Thomas

On the Parameterized Complexity of Default Logic and Autoepistemic Logic

Add code
Oct 06, 2011
Figure 1 for On the Parameterized Complexity of Default Logic and Autoepistemic Logic
Viaarxiv icon

Complexity of Non-Monotonic Logics

Add code
Sep 10, 2010
Figure 1 for Complexity of Non-Monotonic Logics
Figure 2 for Complexity of Non-Monotonic Logics
Viaarxiv icon

Complexity of Propositional Abduction for Restricted Sets of Boolean Functions

Add code
Jun 28, 2010
Figure 1 for Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Figure 2 for Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Viaarxiv icon