fabiodasaro

Welcome to my personal website!

I am a post-doc in Logic at the University of Salento, currently interested in Uncertain, Epistemic and Temporal Logics, Logic Programming, Argumentation, and (explainable) Artificial Intelligence.

News and Announcements

1 May 2025 - I am co-organizing the 3rd summer school Logic for the AI Spring-eDefAI. Please contact me or take a look at the official website for applications and expressions of interest.

Research interests

I'm currently working on:

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

Selected Publications

A Translation of Probabilistic Event Calculus into Markov Decision Processes
L Xu, L Dickens, FA D'Asaro
TIME 2025, Accepted

A Graphical Formalism for Reasoning about Substitution in Resource Transforming Procedures
A Bikakis, FA D'Asaro, A Diallo, L Dikens, T Hunter, R Miller
Journal of Artificial Intelligence Research
2025, In press

Weighted Assumption Based Argumentation to reason about ethical principles and actions
P Baldi, FA D'Asaro, A Dyoub, FA Lisi
CILC 2025, Accepted

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

Page updated

Google Sites

Report abuse