Filomeno Davide Miro. End-to-end training of Logic Tensor Networks for object detection. Rel. Fabrizio Lamberti, Lia Morra. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2021