E. Ha, J. Rowe, B. Mott, and J. Lester, “Goal Recognition with Markov Logic Networks for Player-Adaptive Games”, AAAI, vol. 26, no. 1, pp. 2113–2119, Sep. 2021.