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
👩💻 Information for student dissertations can be found clicking here, or on the "Tesi di Laurea" page (Italian only) / Gli studenti interessati a svolgere con me la propria tesi di laurea possono trovare maggiori informazioni cliccando qui o visitando la pagina "Tesi di Laurea"
WORKSHOP I'm going to co-chair the 2nd workshop on Machine Ethics, Explainability - the role of Logic Programming with Abeer Dyoub. The workshop will be part of BEWARE, a joint workshop to be held next winter and co-located with AIxIA 2022.
📌SPECIAL ISSUE I am editing the Special Issue on Advances in Argumentation in Artificial Intelligence, soon to appear on the Journal of Applied Logics. The Special Issue will contain extended selected papers from the AI3-2021 workshop.
Recent talks and conferences
On January 19 2022 I gave an invited talk on ILP for Explainable AI at the University of Urbino, in the context of the Synergia Seminars. You can watch it on YouTube at the link: https://www.youtube.com/watch?v=m4CiosYDW-A.
In August 2021, I was invited to give a talk at IJCAI 2021 on my paper Probabilistic Reasoning About Epistemic Action Narratives (joint work with Antonis Bikakis, Luke Dickens and Rob Miller, appeared on Artificial Intelligence in 2020) that can be watched at the following link: https://ijcai-21.org/videos-slides/?video=J26.
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)