Fabio Aurelio D'Asaro

Department of Human Sciences,
University of Verona

I am a researcher in Logic and AI: epistemic, probabilistic and temporal reasoning, argumentation, and logic programming (ASP/ILASP). My work spans bounded and non-monotonic reasoning, explainable AI, and the foundations of computation.

I am an Assistant Professor at the University of Verona and an Honorary Lecturer at University College London (Department of Information Studies; fabio.dasaro.14@ucl.ac.uk). I am a member of the EThOS, LUCI, SPIKE and KIDS research groups, and previously held postdoctoral positions in Milan, Naples and Salento. I earned my PhD from UCL.

You can browse my publications, my CV, or the courses I teach.

Google Scholar · 281 citations · h-index 10 · i10-index 13 (updated 19 Jun 2026)

Research interests

I am currently working on:

Trustworthy and ethical AI (with P. Baldi and G. Primiero)
Probabilistic extensions of typed natural deduction systems (with G. Primiero)
Game Theory and Cognitive Science (with C. Sinigaglia, M. Fanghella, and the CIALab)
Extensions and applications of the Event Calculus (with R. Miller and L. Dickens)
Depth-bounded extensions of the ASP system clingo (with P. Baldi and M. D’Agostino)
Applications of ILASP to explainable AI (with A. Russo, M. Law, and A. Bikakis)

news

Jul 05, 2026	In memoriam: Anthony (Tony) Hunter (UCL). It is with deep sadness that I remember Tony Hunter, a dear collaborator and one of the examiners of my PhD. A leading figure in computational argumentation and knowledge representation, he was as generous and kind as he was brilliant. He will be greatly missed by friends and colleagues at UCL, Imperial, and across our community.
Jul 04, 2026	Paper “Non-monotonic Bounded Reasoners” (with P. Baldi) accepted at the Logic & Cognition Conference (L&C 2026), Poznań.
Jun 29, 2026	Talk “Weighted Assumption-Based Argumentation” (with P. Baldi) in the symposium “Uncertain Reasoning and Computation” at the SILFS 2026 Triennial Conference, IUSS Pavia.
Jun 29, 2026	Paper with Daniele Fossemò and colleagues on explaining neural networks in preference learning via Inductive Logic Programming published in Theory and Practice of Logic Programming (TPLP).
Jun 23, 2026	Forthcoming: I’ll present Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero) at OVERLAY 2026 (FLoC), 18-19 July.

selected publications

A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures

Antonis Bikakis, Fabio Aurelio D’Asaro, Aissatou Diallo, and 3 more authors

Journal of Artificial Intelligence Research, 2025

DOI
Checking trustworthiness of probabilistic computations in a typed natural deduction system

Fabio Aurelio D’Asaro, Francesco Genco, and Giuseppe Primiero

Journal of Logic and Computation, 2025

DOI
An Answer Set Programming-based implementation of Epistemic Probabilistic Event Calculus

Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, and 1 more author

International Journal of Approximate Reasoning, 2024

DOI
An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems

Fabio Aurelio D’Asaro, Luca Raggioli, Salim Malek, and 2 more authors

Theory and Practice of Logic Programming, 2023

DOI
Introducing k-lingo: a k-depth bounded version of ASP system clingo

Fabio Aurelio D’Asaro, Paolo Baldi, and Giuseppe Primiero

In Proceedings of KR 2021, 2021

DOI
Probabilistic Reasoning About Epistemic Action Narratives

Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, and 1 more author

Artificial Intelligence, 2020

DOI
Towards an Inductive Logic Programming approach for explaining black-box preference learning systems

Fabio Aurelio D’Asaro, Matteo Spezialetti, Luca Raggioli, and 1 more author

In Proceedings of KR 2020, 2020

DOI