Troquard, Nicolas

9 publications

IJCAI 2025 Verifying Quantized Graph Neural Networks Is PSPACE-Complete Marco Sälzer, François Schwarzentruber, Nicolas Troquard

IJCAI 2024 A Logic for Reasoning About Aggregate-Combine Graph Neural Networks Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

AAAI 2024 Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia

IJCAI 2022 Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract) Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani

AAAI 2018 Repairing Ontologies via Axiom Weakening Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz

AAAI 2018 Rich Coalitional Resource Games Nicolas Troquard

IJCAI 2018 Two Approaches to Ontology Aggregation Based on Axiom Weakening Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz

IJCAI 2016 Nash Equilibria and Their Elimination in Resource Games Nicolas Troquard

IJCAI 2011 A Dynamic Logic of Normative Systems Andreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard