Garcez, Artur d'Avila

1 publications

ICLR 2026 From Neural Networks to Logical Theories: The Correspondence Between Fibring Modal Logics and Fibring Neural Networks Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold