Agostinelli, F., Panta, R., & 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), 2-10. https://doi.org/10.1609/icaps.v34i1.31454