Semantical considerations on nonmonotonic logic
Artificial Intelligence
Graph rewriting: an algebraic and logic approach
Handbook of theoretical computer science (vol. B)
Towards Automatic Autoepistemic Reasoning
JELIA '90 Proceedings of the European Workshop on Logics in AI
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
The complexity of propositional implication
Information Processing Letters
Bounded treewidth as a key to tractability of knowledge representation and reasoning
Artificial Intelligence
Logspace Versions of the Theorems of Bodlaender and Courcelle
FOCS '10 Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science
The Complexity of Reasoning for Fragments of Autoepistemic Logic
ACM Transactions on Computational Logic (TOCL)
The complexity of reasoning for fragments of default logic1
Journal of Logic and Computation
Hi-index | 0.00 |
We investigate the application of Courcelle's Theorem and the logspace version of Elberfeld et al. in the context of the implication problem for propositional sets of formulae, the extension existence problem for default logic, as well as the expansion existence problem for autoepistemic logic and obtain fixed-parameter time and space efficient algorithms for these problems. On the other hand, we exhibit, for each of the above problems, families of instances of a very simple structure that, for a wide range of different parameterizations, do not have efficient fixed-parameter algorithms (even in the sense of the large class XPnu), unless P=NP.