4 papers
Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber
Logics for reasoning about knowledge and actions have seen many applications in various domains of multi-agent systems, including epistemic planning. Change of knowledge based on o…
Verifying Quantized Graph Neural Networks is PSPACE-complete
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
In this paper, we investigate the verification of quantized Graph Neural Networks (GNNs), where some fixed-width arithmetic is used to represent numbers. We introduce the linear-co…
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…
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…