Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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.AI2024
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…