Gerhard Lakemeyer Only Knowing in the Situation Calculus. 14-25 1996 KR db/conf/kr/kr96.html#Lakemeyer96