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