Troquard, Nicolas

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. 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. On Representing Humans' Soft-Ethics Preferences As Dispositions
   2024/07/25 by Donatella Donati, Donati, Donatella, Ziba Assadi +7 · 2 citations
   Neuroscience · Arts and Humanities · #Psychology of Moral and Emotional Judgment #Philosophical Ethics and Theory
4. A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
   2023/07/28 by Alessandro Burigana, Paolo Felli, Burigana, Alessandro +5 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies