DILIGENTI MICHELANGELO
Michelangelo
Diligenti
Ricercatore universitario
Office hours
-
Tuesday from 14:30 to 16:30Place: Edificio S. Niccolo', 1 piano, stanza 114
Contacts
0577235960 [int.5960]
Teaching activities
Completion accademic year: 2026/2027
Completion accademic year: 2025/2026
Course year: 2
First cycle degree (DM 270)
INGEGNERIA INFORMATICA E DELL'INFORMAZIONE
A.Y. 2024/2025
Completion accademic year: 2024/2025
Course year: 2
First cycle degree (DM 270)
INGEGNERIA INFORMATICA E DELL'INFORMAZIONE
A.Y. 2023/2024
Completion accademic year: 2023/2024
Course year: 2
First cycle degree (DM 270)
INGEGNERIA INFORMATICA E DELL'INFORMAZIONE
A.Y. 2022/2023
Completion accademic year: 2022/2023
Completion accademic year: 2020/2021
Research
Ultime pubblicazioni:
- Jiao, Y., Castellano Ontiveros, R., De Raedt, L., Gori, M., Giannini, F., Diligenti, M., et al. (2026). DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs. In Proceedings of the AAAI Conference on Artificial Intelligence (pp.22381-22389). Association for the Advancement of Artificial Intelligence [10.1609/aaai.v40i27.39396]. - view more
- Manhaeve, R., Giannini, F., Ali, M., Azzolini, D., Bizzarri, A., Borghesi, A., et al. (2026). Benchmarking in Neuro-Symbolic AI. In Lecture Notes in Computer Science (pp.238-249). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-032-09087-4_17]. - view more
- CASTELLANO ONTIVEROS, R., Bonabi Mobaraki, E., Giannini, F., Barbiero, P., Gori, M., Diligenti, M. (2025). Interpretable-by-design Neural-Symbolic Link Prediction on Knowledge Graphs. In Proceedings of the 3rd World Conference on eXplainable Artificial Intelligence (XAI-2025). - view more
- Marra, G., Diligenti, M., Giannini, F. (2025). Relational reasoning networks. KNOWLEDGE-BASED SYSTEMS, 310 [10.1016/j.knosys.2024.112822]. - view more
- Castellano Ontiveros, R., Giannini, F., Diligenti, M. (2025). Distilling KGE black boxes into interpretable NeSy models. In Proceedings of the 19th International Conference on Neurosymbolic Learning and Reasoning. - view more