Kooi, Barteld P.

2 publications

IJCAI 2011 Succinctness of Epistemic Languages Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi

IJCAI 2009 Knowing More - From Global to Local Correspondence Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi