Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Michael Thomas
Researcher
PaperComplexity of Non-Monotonic LogicsAuthorship / preprint / 2010PaperOn the Applicability of Post's LatticeAuthorship / preprint / 2012PaperThe Complexity of Reasoning for Fragments of Default LogicAuthorship / preprint / 2010PaperComplexity of Propositional Abduction for Restricted Sets of Boolean FunctionsAuthorship / preprint / 2010PaperComplexity Classifications for Propositional Abduction in Post's FrameworkAuthorship / preprint / 2010PaperOn the Parameterized Complexity of Default Logic and Autoepistemic LogicAuthorship / preprint / 2011PaperThe Complexity of Satisfiability for Fragments of Hybrid Logic -- Part IAuthorship / preprint / 2009PaperModel Checking CTL is Almost Always Inherently SequentialAuthorship / preprint / 2011