CV
Experience, education, projects and skills: generated from a single source of truth. Download the full PDF.
Fabio Aurelio D'Asaro
Assistant Professor in Logic
Download PDF
281Citations
10h-index
13i10
Researcher in Logic working in Logic and AI: bounded and non-monotonic reasoning, epistemic, probabilistic and temporal reasoning, argumentation, trustworthiness of probabilistic computation, and logic programming (ASP/ILASP). Teaching and supervision span Logic and Philosophy of Science, AI, theoretical and applied Computer Science, Epistemology of Big Data, and Logic Programming.
Experience
Assistant Professor 2026 – present
University of Verona
Verona, Italy
Research and teaching on uncertain and epistemic reasoning, temporal and probabilistic logics, logic programming, reasoning about actions and change, bounded reasoning, and formal argumentation for (explainable) AI.
Honorary Lecturer 2025 – present
University College London (UCL)
London, UK
Department of Information Studies, Faculty of Arts and Humanities. Continuing collaboration on explainable AI and the Event Calculus (KIDS group). Email: fabio.dasaro.14@ucl.ac.uk — profiles.ucl.ac.uk/46877-fabio-d'asaro
Postdoctoral Researcher 2025 – 2026
University of Salento
Lecce, Italy
Department of Human Studies. Project FAIR — Future AI Research (PE00000013), NRRP/MUR, NextGenerationEU, Spoke 6 ("Symbiotic AI"), PI: Paolo Baldi.
Assistant Professor 2022 – 2025
University of Verona
Verona, Italy
Research and teaching on uncertain and epistemic reasoning, temporal and probabilistic logics, logic programming, reasoning about actions and change, bounded reasoning, and formal argumentation for (explainable) AI. Partially funded by PON R&I 2014-2020, DM 1062/2021 (Action IV.4); UniVR code 2021rtdaPON03; CUP B39J21025840001; 12-month secondment at REVO.
Postdoctoral Researcher 2020 – 2021
Logic Group, University of Milan
Milan, Italy
Uncertain, depth-bounded and epistemic logics.
Postdoctoral Researcher 2019 – 2020
AVATEA Project (AI to support rehabilitation of children with neuro-motor disorders); explainable AI for robotics and preference learning.
Research Assistant 2013 – 2014
University of Palermo
Palermo, Italy
NEVERLOST Project (PO-FESR 2007-2013): (sub)optimal antenna displacement in arbitrary 2D spaces via soft-computing (fuzzy logic, genetic algorithms); educational "serious game" for theoretical CS.
Undergraduate Intern Jun – Sep 2011
ICAR-CNR Palermo
Palermo, Italy
IMPULSO project: a path-visualization tool using the Google Maps APIs.
Education
PhD in Artificial Intelligence 2014 – 2019
University College London (UCL)
London, UK
Thesis: "Probabilistic Epistemic Reasoning About Actions" (supervisors: Rob Miller, Antonis Bikakis, Luke Dickens). Modelling uncertainty and knowledge-producing actions in the Event Calculus. Excerpts published in Artificial Intelligence (AIJ) and LPNMR.
MSc in Pure Mathematics and Mathematical Logic 2013 – 2014
University of Manchester
Manchester, UK
Distinction (≈ 110/110 cum laude). Dissertation: "Analogical Reasoning in Unary Inductive Logic" (supervisor: Jeff B. Paris).
BSc in Computer Science 2006 – 2011
University of Palermo
Palermo, Italy
110/110 cum laude. Dissertation on the Church-Turing thesis and new models of computation (supervisor: Settimo Termini).
Honours
MSc with Distinction (≈ 110/110 cum laude) — University of Manchester, 2014
BSc summa cum laude (110/110 e lode) — University of Palermo, 2011
Selected Projects
FAIR (PNRR) 2025 – 2026
Logic for ethical human-AI collaboration (eDefAI, "Symbiotic AI"). PE00000013, Spoke 6, CUP H97G22000210007.
REVO (PON) 2022 – 2024
Researcher (Verona side, partially funded): AI methods to support insurance-policy sales — handwriting recognition, entity matching, and eligibility pre-screening. Ministerial PON R&I funding (DM 1062/2021); 12-month industrial secondment at the partner company, REVO Insurance.
BRIO (PRIN) 2022 – 2025
Proponent / collaborator (Milan; then external, EThOS Verona). Formal frameworks for trust and bias. PRIN 2020, 2020SSKZ7R_001 (ERC SH4).
AVATEA (POR) 2018 – 2019
Runtime epistemic probabilistic Event Calculus for sensor fusion in rehabilitation serious games. POR Campania FESR 2014-2020, CUP B13D18000130007.
Research Software
PEC · Probabilistic Event Calculus — reference implementation.
k-lingo · Depth-bounded (k-depth) version of the ASP solver clingo (KR 2021).
WABA Playground · In-browser Weighted Assumption-Based Argumentation (clingo-wasm).
ArgLAS · Learning ASP encodings of argumentation semantics with ILASP.
tptnd-lean · Typed natural deduction in Lean 4 — machine-checked fairness certificates.
LogicBenchmarkQuestions · Dataset of logic puzzles to benchmark LLM reasoning.
Edited Volumes
G. Coraglia, F. A. D'Asaro, A. Dyoub, F. A. Lisi, G. Primiero (eds.). Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming (BEWARE 2024). CEUR-WS, Vol. 3881, 2024.
G. Boella, F. A. D'Asaro, A. Dyoub, L. Gorrieri, F. A. Lisi, C. Manganini, G. Primiero (eds.). Proceedings of the 2nd BEWARE Workshop (BEWARE 2023). CEUR-WS, Vol. 3615, 2024.
G. Boella, F. A. D'Asaro, A. Dyoub, G. Primiero (eds.). Proceedings of the 1st BEWARE Workshop (BEWARE 2022). CEUR-WS, Vol. 3319, 2022.
M. D'Agostino, F. A. D'Asaro, C. Larese (eds.). Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2021). CEUR-WS, Vol. 3086, 2021.
F. A. D'Asaro, M. D'Agostino, C. Larese (eds.). Special Issue "Advances in Argumentation in Artificial Intelligence". Journal of Applied Logics (IfCoLog), 10(3), 2023.
B. S. Caffo, F. A. D'Asaro, A. d'Avila Garcez, E. Raffinetti (eds.). Research Topic "Explainable AI Models and Methods in Finance and Healthcare". Frontiers in Artificial Intelligence, 2022.
J. Arias, F. A. D'Asaro, A. Dyoub, G. Gupta, M. Hecher, E. LeBlanc, R. Peñaloza, E. Salazar, A. Saptawijaya, F. Weitkämper, J. Zangari (eds.). Proceedings of the ICLP 2021 Workshops. CEUR-WS, Vol. 2970, 2021.
A. D'Angelo, F. A. D'Asaro, F. Gullo, M. P. Kato, D. Mandaglio, E. Serra, F. Spezzano, G. Stilo (eds.). Preface to the WSDM 2026 Workshops Companion. ACM, 2026.
Professional Service
Co-organizer, eDefAI — 3rd Logic for the AI Spring Summer School, Lecce, 2025
Workshop Chair / co-organiser, BEWARE workshops (Bias, Ethical AI, Explainability, Logic), AIxIA, 2022–2024 and 2026
Workshop Proceedings Chair, WSDM 2026 (ACM, CORE A)
Program Committee, IJCAI 2020, 2024 and 2025
Program Committee, KR 2022, 2023, 2024 and 2025
Program Committee, ECAI 2023
Program Committee, WEB&GRAPH 2026
Co-organizer, EThOS seminar series, since 2022
Session chair, OVERLAY 2026 (FLoC)
Workshop Chair, 1st ME&E (Machine Ethics and Explainability), ICLP 2021
Workshop Chair, 5th AI^3 (Advances in Argumentation in AI), AIxIA 2021
Co-organizer, LUCI Lab seminars (Milan, Philosophy), 2020/2021
Review Editor, editorial boards of Frontiers in AI, Frontiers in Big Data, Frontiers in AI in Neurology
Dissemination: regular columns on the BRIO project in The Reasoner, 2022-2024
Public engagement: webinar "Insegnare filosofia nell'era dell'IA" (with M. Badino), "Didattica digitale della Filosofia" series, 2025
Memberships
ACM (Association for Computing Machinery), Professional Member
AILA (Associazione Italiana di Logica e sue Applicazioni)
SILFS (Società Italiana di Logica e Filosofia delle Scienze)
AIxIA (Associazione Italiana per l'Intelligenza Artificiale)
GULP (Gruppo ricercatori e Utenti di Programmazione Logica)
AISC (Associazione Italiana di Scienze Cognitive)
SISS (Società Italiana di Storia della Scienza)
Skills
Logic programming: ASP/clingo, Prolog/ProbLog, ILASP/FastLAS
Programming: Python, Java, JavaScript/TypeScript, PHP, SQL, HTML/CSS; C, MATLAB; Lisp-family, Anglican