Cima, G.; Console, M.; Papi, L. Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge. AAAI 2026, 40, 18994-19002.