Cima, Gianluca, Marco Console, and Laura Papi. 2026. “Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (23):18994-2. https://doi.org/10.1609/aaai.v40i23.38971.