Ha, E.; Rowe, J.; Mott, B.; Lester, J. Goal Recognition With Markov Logic Networks for Player-Adaptive Games. AIIDE 2011, 7, 32-39.