Fabio Aurelio D'Asaro

Assistant Professor, University of Verona · Honorary Lecturer, UCL · Logic & AI

prof_pic.jpg

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  ·  293 citations  ·  h-index 11  ·  i10-index 13  (updated 1 Oct 2026)

news

Oct 05, 2026 Beavr 2.0 🦫 is out: an unofficial Beamer theme for University of Verona slides, for lecturers and students, in four colour palettes. It now has its own page, with the Overleaf project and a zip to download.
Sep 30, 2026 I am now affiliated with the Italian Reproducibility Network (ITRN), a peer-led consortium that works on research quality and reproducibility across disciplines.
Aug 30, 2026 Talk “Bounded Non-Monotonicity as a Framework for Commonsense Reasoning” (with P. Baldi) at AISC 2026, the 22nd Conference of the Italian Association for Cognitive Science, Turin, 9-11 September. It is scheduled in the “Reasoning Under Uncertainty” session on Thursday 10 September.
Jul 26, 2026 New arXiv preprint: An Unofficial FastLAS Tutorial: A Programmer’s Guide, a hands-on introduction to FastLAS for students and users, drawn from earlier lectures. Every example is checked against FastLAS 2.2.0; the task files are on GitHub.
Jul 19, 2026 At OVERLAY 2026 (FLoC) I presented Fairness Certificates via a Lean-Backed Trustworthy Probabilistic Typed Natural Deduction (with G. Primiero), and chaired one of the sessions.

selected publications

  1. cover-jair.jpg
    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
  2. cover-jlc.jpg
    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
  3. cover-ijar.jpg
    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
  4. cover-tplp.png
    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
  5. CORE A*
    dasaro2021klingo.png
    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
  6. cover-aij.jpg
    Probabilistic Reasoning About Epistemic Action Narratives
    Fabio Aurelio D’Asaro, Antonis Bikakis, Luke Dickens, and 1 more author
    Artificial Intelligence, 2020
    DOI
  7. CORE A*
    dasaro2020towards.png
    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