Nicolas Troquard — accepted AI-conference papers

2026

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

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

IJCAI 2026

The increasing sensitivity to human aspects in autonomous systems engineering calls for principled approaches to embed ethical and normative concerns into their behaviour. Indeed, recent research has focused on expressing and validating sets of social, legal, ethical, empathetic, and cultural (SLEEC

Cited by 0 Scholar ↗

2025

Verifying Quantized Graph Neural Networks is PSPACE-complete

Marco Sälzer, Francois Schwarzentruber, Nicolas Troquard

IJCAI 2025

In this paper, we investigate verification of quantized Graph Neural Networks (GNNs), where some fixed-width arithmetic is used to represent numbers. We introduce the linear-constrained validity (LVP) problem for verifying GNNs properties, and provide an efficient translation from LVP instances into

Cited by 0 Source ↗PDF ↗Scholar ↗

2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks

Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

IJCAI 2024poster

We propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural network (GNN). We also show that a broad class of GNNs can be transformed efficiently into a formula, thus significantly improving upon t…

Cited by 3 Source ↗PDF ↗Scholar ↗

2024

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning

Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia

AAAI 2024technical

The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions arising from their behavior or decisions. These systems must be designed to comply with the human contexts in which they will operate. To this extent, Townsend et al. (2022) intro…

Cited by 8 Source ↗PDF ↗Scholar ↗

2022

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

Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom, Pietro Galliani

IJCAI 2022poster

When considering two concepts in terms of extensional logic, their combination will often be trivial, returning an empty extension. Consider e.g. “a Fish Vehicle”, i.e., “a Vehicle which is also a Fish”. Still, people use sophisticated strategies to produce new, non-empty concepts. All these strateg…

Cited by 0 Source ↗PDF ↗Scholar ↗