LOGICA, KR e INTELLIGENZA ARTIFICIALE Matteo Palmonari, Alessandro Mosca Matteo.palmonari;[email protected] DISCo - Università di Milano-Bicocca.