P. Singla and R. Mooney, “Abductive Markov Logic for Plan Recognition”, AAAI, vol. 25, no. 1, pp. 1069–1075, Aug. 2011.