Alberto Finzi Thomas Lukasiewicz Game-Theoretic Agent Programming in Golog Under Partial Observability. 113-127 2006 conf/ki/2006 KI http://dx.doi.org/10.1007/978-3-540-69912-5_10 db/conf/ki/ki2006.html#FinziL06