Welcome to my personal website!

I am a Postdoctoral Researcher in the Logic Group at the University of Milan, Italy. 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 1st workshop on Machine Ethics, Explainability - the role of Logic Programming together with Abeer Dyoub and Ari Saptawijay. The workshop will be co-located with ICLP 2021.

  • 📌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). Deadlines are approaching: 31st May (abstract) and 15 August 2021 (full papers due).

  • 📝PAPER 15/06/2021: NEW KR PAPER ACCEPTED! Our paper Introducing k-lingo: Introducing k-lingo: a k-depth bounded version of ASP system clingo (joint work with Paolo Baldi and Giuseppe Primiero) has been accepted for presentation at KR 2021 (acceptance rate: 26%).


Forthcoming talks and conferences

  • We will be presenting an abstract on "Modelling depth-bounded Boolean reasoning with Markov decision processes and reinforcement learning" (joint work with Alberto Termine and Giuseppe Primiero) at the Logic Colloquium 2021, Poznan, Poland, 19-24 July 2021.

  • My paper "Probabilistic reasoning about epistemic action narratives" (joint work with Antonis Bikakis, Luke Dickens and Rob Miller on the AIJ) has been invited for presentation to the Journal Track of IJCAI 2021.


Work in progress

I'm currently working on:

  • probabilistic extensions of typed natural deduction system

  • extensions and applications of the Event Calculus

  • a depth-bounded extension of ASP system clingo.

  • applications of ILASP to explainable AI

  • trustworthy and ethical AI