Casali PG, Licitra L, Provenzano S, Pellegrini I, Fabbroni C, Franza A, Giani C, Callegaro D, Cavalieri S, Lanza FB, Frezza AM, Vincenzi B, Muzzini R, Trama A, Miceli R,...
Read moreD’Agostino, M., Larese, C., & Modgil, S. (2025). Extending Depth-Bounded Reasoning to First-order Logic. Journal of Applied Logics: The IfCoLog Journal of Logics and their Applications, 12(6), 1415–1441. Abstract: This paper...
Read moreHosni, H., & Landes, J. (2025). What follows from all that data? Logic in the methodology of data-intensive and AI-driven science. Journal of Applied Logics: The IfCoLog Journal of Logics and...
Read more“BOID for smart scheduling: Integrating default logic and embedding models for interpretable personalization“, by S. Pandžić, F. Dijkshoorn, J. Broersen, in: Multi-Agent Systems, The 22nd European Conference, EUMAS 2025, Bucharest, Romania,...
Read more
Paolo Baldi, Esther Anna Corsi, Hykel Hosni, A logical framework for data-driven reasoning, Logic Journal of the IGPL, Volume 33, Issue 3, June 2025, jzae113, https://doi.org/10.1093/jigpal/jzae113. We introduce and investigate a family...
Read more
During the first half of the past century, logic emerged as the field dealing with the methodology of deductive systems. Today, data-intensive and AI-driven science call for a new methodology...
Read more