research
∙
10/04/2011
On the Parameterized Complexity of Default Logic and Autoepistemic Logic
We investigate the application of Courcelle's Theorem and the logspace v...
research
∙
09/10/2010
Complexity of Non-Monotonic Logics
Over the past few decades, non-monotonic reasoning has developed to be o...
research
∙
12/16/2009