From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks - El Harzli, Ouns; Grau, Bernardo; Garcez, Artur; Horrocks, Ian; Besold, Tarek R. (International Conference on Learning Representations, 2026)