Schwarzentruber, François

1. A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
   2024/04/30 by Pierre Nunn, Marco Sälzer, Nunn, Pierre +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. DL-PA and DCL-PC: model checking and satisfiability problem are indeed in PSPACE
   2014/11/28 by Philippe Balbiani, Balbiani, Philippe, Andreas Herzig +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.LO
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