activity
20122025
most citedRecent star formation in the Lupus clouds as seen by Herschel

52 citations · 114 across the 22 of their papers we have counts for

collaborators

25 papers

cs.AI2025

Why AI Safety Requires Uncertainty, Incomplete Preferences, and Non-Archimedean Utilities

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

How can we ensure that AI systems are aligned with human values and remain safe? We can study this problem through the frameworks of the AI assistance and the AI shutdown games. Th…

cs.LG2025

The AI off-switch problem as a signalling game: bounded rationality and incomparability

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

The off-switch problem is a critical challenge in AI control: if an AI system resists being switched off, it poses a significant risk. In this paper, we model the off-switch proble…

quant-ph2023

Connecting classical finite exchangeability to quantum theory

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

Exchangeability is a fundamental concept in probability theory and statistics. It allows to model situations where the order of observations does not matter. The classical de Finet…

quant-ph2022

Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality

Alessio Benavoli, Alessandro Facchini, Marco Zaffalon

We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs). This formulation provides a direct interpr…

cs.AI2022

Belief Revision in Sentential Decision Diagrams

Lilith Mattei, Alessandro Facchini, Alessandro Antonucci

Belief revision is the task of modifying a knowledge base when new information becomes available, while also respecting a number of desirable properties. Classical belief revision…

cs.AI2021

Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption

Alessandro Antonucci, Alessandro Facchini, Lilith Mattei

Probabilistic sentential decision diagrams are a class of structured-decomposable probabilistic circuits especially designed to embed logical constraints. To adapt the classical Le…