Nunn, Pierre

1. A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
   2024/04/30 by Pierre Nunn, Nunn, Pierre, Marco Sälzer +5 · 6 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Neural Networks and Applications
2. A Modal Logic for Explaining some Graph Neural Networks
   2023/07/11 by Pierre Nunn, Nunn, Pierre, François Schwarzentruber +1 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge