Agostinelli, Forest, Rojina Panta, and Vedant Khandelwal. 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.