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