Agostinelli F, Panta R, Khandelwal V. Specifying Goals to Deep Neural Networks with Answer Set Programming. ICAPS [Internet]. 2024May30 [cited 2026Apr.25];34(1):2-10. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/31454