Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
{{output}}
Theory of mind refers to the human capacity for reasoning about others' mental states based on observations of their actions and unfolding events. This type of reasoning is notorious in the cognitive science literature for its presumed computational intractabi... ...