2 papers
cs.LG2025
Sound Logical Explanations for Mean Aggregation Graph Neural Networks
Matthew Morris, Ian Horrocks
Graph neural networks (GNNs) are frequently used for knowledge graph completion. Their black-box nature has motivated work that uses sound logical rules to explain predictions and…
cs.AI2025
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 +2
Fibring of modal logics is a well-established formalism for combining countable families of modal logics into a single fibred language with common semantics, characterized by fibre…