Seeing is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic.

Thomas Bolander

Published in: ECSI (2014)

Keyphrases

dynamic epistemic logic
machine learning
belief revision
multi agent