TY  - RPRT
TI  - From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
AU  - Ouns El Harzli
AU  - Bernardo Cuenca Grau
AU  - Artur d'Avila Garcez
AU  - Ian Horrocks
AU  - Tarek R. Besold
PY  - 2025
UR  - https://arxiv.org/abs/2509.23912
ID  - 2509.23912
ER  -