Welcome to my personal website!
I am a post-doc in Logic at the University of Salento, currently interested in Uncertain, Epistemic, Temporal and Probabilistic Logics, Logic Programming, Reasoning about Actions and Change and their applications to Artificial Intelligence and Explainable AI.
News and Announcements
1 March 2025 – After three fulfilling years at the University of Verona—where I taught eight diverse modules, including Logic and Philosophy of Science, Computer Science and Multimedia, Computational Epistemology and Philosophy, and Big Data Epistemology, shouldering over 120 hours of teaching per year, all while also delivering research activity, I am now a post-doctoral researcher at the University of Salento, focusing on Logic, Explainability, Trust, and Ethical AI.
February 2025 - I am proud to be a co-founder of gen.ia.
Research interests
I'm currently working on:
Trustworthy and ethical AI (w/Massimiliano Badino, Giuseppe Primiero, Alberto Termine)
Probabilistic extensions of typed natural deduction systems (w/Giuseppe Primiero)
Game Theory and Cognitive Science (w/Corrado Sinigaglia, Martina Fanghella and others from CIALab)
Extensions and applications of the Event Calculus (w/Rob Miller, Luke Dickens, Antonis Bikakis)
A depth-bounded extension of ASP system clingo (w/Paolo Baldi, Giuseppe Primiero, Marcello D'Agostino)
Applications of ILASP to explainable AI (w/Matteo Spezialetti, Luca Raggioli, Alessandra Russo, Antonis Bikakis, Mark Law)
Selected Publications
Checking trustworthiness of probabilistic computations in a typed natural deduction system
FA D’Asaro, FA Genco, G Primiero
Journal of Logic and Computation
2025
Non-monotonic bounded reasoners
P Baldi, FA D'Asaro
The Reasoner (19)
2025
Educare all'IA. La sfida didattica dell'Intelligenza Artificiale: ChatGPT e Gemini
M Badino, FA D'Asaro, F Pedrazzoli
Sanoma Italia
2024
Deep reinforcement learning for robotic approaching behavior influenced by user activity and disengagement
L Raggioli, FA D’Asaro, S Rossi
International Journal of Social Robotics
2023
Introducing k-lingo: A k-depth bounded version of ASP system clingo
FA D'Asaro, P Baldi, G Primiero
Proceedings of KR
2021
Towards an inductive logic programming approach for explaining black-box preference learning systems
FA D'Asaro, M Spezialetti, L Raggioli, S Rossi
Proceedings of KR
2020
Probabilistic reasoning about epistemic action narratives
FA D'Asaro, A Bikakis, L Dickens, R Miller
Artificial Intelligence 287 (103352)
2020