Welcome to my personal website!
I am an Assistant Professor at the University of Verona. I am currently interested in Uncertain and Epistemic Reasoning, Temporal and Probabilistic Logics, Logic Programming, Reasoning about Actions and Change and their applications to Artificial Intelligence and Explainable AI.
News and Announcements
📌PINNED I'm going to co-chair the 2n workshop on Machine Ethics, Explainability - the role of Logic Programming together with Abeer Dyoub. The workshop will be co-located with ICLP 2022.
📌PINNED I am currently guest editing the special issue on Explainable Artificial Intelligence models and methods in Finance and Healthcare of the journals Frontiers in Artificial Intelligence and Frontiers in Big Data, with Artur d'Avila Garcez (City University of London), Brian Caffo (John Hopkins University) and Emanuela Raffinetti (University of Pavia).
Talks and conferences
On January 19 2022 I gave a talk on ILP for Explainable AI at the University of Urbino, in the context of the Synergia Seminars. You can watch it here:
In preparation
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, Silvia Rossi)
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)