40 citations · 134 across the 31 of their papers we have counts for
7 papers · 1 filter
Characterising Decision Theories with Mechanised Causal Graphs
Matt MacDermott, Tom Everitt, Francesco Belardinelli
How should my own decisions affect my beliefs about the outcomes I expect to achieve? If taking a certain action makes me view myself as a certain type of person, it might affect h…
Approximate Shielding of Atari Agents for Safe Exploration
Alexander W. Goodall, Francesco Belardinelli
Balancing exploration and conservatism in the constrained setting is an important problem if we are to use reinforcement learning for meaningful tasks in the real world. In this pa…
Argumentative Reward Learning: Reasoning About Human Preferences
Francis Rhys Ward, Francesco Belardinelli, Francesca Toni
We define a novel neuro-symbolic framework, argumentative reward learning, which combines preference-based argumentation with existing approaches to reinforcement learning from hum…
In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications
Borja G. León, Murray Shanahan, Francesco Belardinelli
We address the problem of building agents whose goal is to learn to execute out-of distribution (OOD) multi-task instructions expressed in temporal logic (TL) by using deep reinfor…
Aggregating Bipolar Opinions (With Appendix)
Stefan Lauren, Francesco Belardinelli, Francesca Toni
We introduce a novel method to aggregate Bipolar Argumentation (BA) Frameworks expressing opinions by different parties in debates. We use Bipolar Assumption-based Argumentation (A…
Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning
Borja G. León, Francesco Belardinelli
The combination of Formal Methods with Reinforcement Learning (RL) has recently attracted interest as a way for single-agent RL to learn multiple-task specifications. In this paper…
Relaxing Exclusive Control in Boolean Games
Francesco Belardinelli, Umberto Grandi, Andreas Herzig +4
In the typical framework for boolean games (BG) each player can change the truth value of some propositional atoms, while attempting to make her goal true. In standard BG goals are…