Agostinelli, F.; Panta, R.; Khandelwal, V. Specifying Goals to Deep Neural Networks With Answer Set Programming. ICAPS 2024, 34, 2-10.