Singla, P.; Mooney, R. Abductive Markov Logic for Plan Recognition. AAAI 2011, 25, 1069-1075.