15 citations · 15 across the 5 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.HC2024
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…
cs.AI2024
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…
cs.GT2024
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…