Nicolas Troquard

5 papers in the IJCAI proceedings

IJCAI 2026

Operationalising Normative Rules in Autonomous Robotic Systems Through Context-Oriented Programming

with Roberto Casadei, Martina De Sanctis, Gianluca Filippone, Sara Pettinari, Gian Luca Scoccia

doi:10.24963/ijcai.2026/838

Details PDF

IJCAI 2025

Verifying Quantized Graph Neural Networks is PSPACE-complete

with Marco Sälzer, Francois Schwarzentruber

doi:10.24963/ijcai.2025/519

Details PDF

IJCAI 2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks

with Pierre Nunn, Marco Sälzer, François Schwarzentruber

doi:10.24963/ijcai.2024/391

Details PDF

IJCAI 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract)

with Guendalina Righetti, Daniele Porello, Oliver Kutz, Maria Hedblom, Pietro Galliani

doi:10.24963/ijcai.2022/745

Details PDF

IJCAI 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening

with Daniele Porello, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz

doi:10.24963/ijcai.2018/268

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings