Showing cs.AIShow all
2 papers · 1 filter
cs.AI2024
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Pierre Nunn, Marco Sälzer, François Schwarzentruber +1
We propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural network (GNN). We…
cs.AI2023
A Modal Logic for Explaining some Graph Neural Networks
Pierre Nunn, François Schwarzentruber
In this paper, we propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural net…