37 citations · 66 across the 10 of their papers we have counts for
3 papers · 1 filter
Complexity of Non-Monotonic Logics
Michael Thomas, Heribert Vollmer
Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic and artificial intelligence. Different ways to introd…
Complexity Classifications for Propositional Abduction in Post's Framework
Nadia Creignou, Johannes Schmidt, Michael Thomas
In this paper we investigate the complexity of abduction, a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining the world's behavior it aim…
The Complexity of Reasoning for Fragments of Autoepistemic Logic
Nadia Creignou, Arne Meier, Michael Thomas +1
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore 1985 for mod…