J. Suchan, M. Bhatt, P. Wałega, and C. Schultz, “Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects”, AAAI, vol. 32, no. 1, Apr. 2018.