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

Research interests

I'm currently working on:

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