E. Ha, J. Rowe, B. Mott, and J. Lester, “Goal Recognition with Markov Logic Networks for Player-Adaptive Games”, AIIDE, vol. 7, no. 1, pp. 32-39, Oct. 2011.