François Schwarzentruber

1. A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
   2024/04/30 by Pierre Nunn, Marco Sälzer, Nunn, Pierre +5 · 5 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. On the Complexity of Dynamic Epistemic Logic
   2013/10/23 by Guillaume Aucher, Aucher, Guillaume, François Schwarzentruber +1 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Formal Methods in Verification
3. A Modal Logic for Explaining some Graph Neural Networks
   2023/07/11 by Pierre Nunn, François Schwarzentruber, Nunn, Pierre +1 · 1 citation
   Computer Science · #Semantic Web and Ontologies #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge