Epistemic Logic and Planning. - Shahin Maghsoudi; Ian D. Watson (KES, 2004)