15 citations · 15 across the 5 of their papers we have counts for
6 papers
Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber +1
We introduce a logical language for reasoning about quantized aggregate-combine graph neural networks with global readout (ACR-GNNs). We provide a logical characterization and use…
Verifying Quantized Graph Neural Networks is PSPACE-complete
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
In this paper, we investigate the verification of quantized Graph Neural Networks (GNNs), where some fixed-width arithmetic is used to represent numbers. We introduce the linear-co…
On Representing Humans' Soft-Ethics Preferences As Dispositions
Donatella Donati, Ziba Assadi, Simone Gozzano +2
The aim of this paper is to represent humans' soft-ethical preferences by means of dispositional properties. We begin by examining real-life situations, termed as scenarios, that i…
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
Pierre Nunn, Marco Sälzer, François Schwarzentruber +1
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…
Existence and Verification of Nash Equilibria in Non-Cooperative Contribution Games with Resource Contention
Nicolas Troquard
In resource contribution games, a class of non-cooperative games, the players want to obtain a bundle of resources and are endowed with bags of bundles of resources that they can m…
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)
Nicolas Troquard, Martina De Sanctis, Paola Inverardi +2
The rise of AI-based and autonomous systems is raising concerns and apprehension due to potential negative repercussions stemming from their behavior or decisions. These systems mu…