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 BEWARE workshop on the emerging ethical aspects of AI, with a focus on Bias, Risk, Explainability and the role of Logic and Logic Programming. It will be co-located with AIxIA 2023.
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)
Applications of ILASP to explainable AI (w/Matteo Spezialetti, Luca Raggioli, Alessandra Russo, Antonis Bikakis, Mark Law)