https://www.controcampus.it/2011/04/universita-di-padova-logica-e-intelligenza-artificiale/