Jozef Siska Dynamic Logic Programming and world state evaluation in computer games. 64-70 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/03-final.ps.gz db/conf/wlp/wlp2006.html#Siska06