PP-2010-14: Benedikt Löwe, Eric Pacuit, Andreas Witzel Planning based on dynamic epistemic logic 1.Full Text, 2.Abstract. < Back