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.LG2025
Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
Matthew Morris, David J. Tena Cucala, Bernardo Cuenca Grau
Graph neural networks (GNNs) are often used for the task of link prediction: predicting missing binary facts in knowledge graphs (KGs). To address the lack of explainability of GNN…