Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.

Iris van de Pol Iris van Rooij Jakub Szymanik

Published in: J. Log. Lang. Inf. (2018)

Keyphrases

parameterized complexity
dynamic epistemic logic
epistemic logic
fixed parameter tractable
knowledge base
knowledge representation
symmetry breaking
optimal solution
computational complexity
orders of magnitude
global constraints
probabilistic reasoning
logical framework