Agostinelli, F., Panta, R. and Khandelwal, V. 2024. Specifying Goals to Deep Neural Networks with Answer Set Programming. Proceedings of the International Conference on Automated Planning and Scheduling. 34, 1 (May 2024), 2-10. DOI:https://doi.org/10.1609/icaps.v34i1.31454.