Biography
I am a Postdoctoral Researcher at the Artificial and Natural Intelligence Toulouse Institute (ANITI) where I work on Formal Explainability of Recommender Systems for the Audio Mobility 2030 project. I am also a member of the ADRIA team at IRIT. Before, I did my Ph.D. at Sapienza University of Rome, under the supervision of Fabio Patrizi, working on logic-based analysis of temporal data.
Interests
- Artificial Intelligence
- Formal Methods
- Logic Programming
- Process Mining
Education
PhD in Artificial Intelligence & Knowledge Representation, 2023
Sapienza University of Rome
MSc in Artificial Intelligence & Robotics, 2019
Sapienza University of Rome
BSc in Mathematics, 2016
University of Naples Federico II
Recent Publications
Quickly discover relevant content by filtering publications.
(2024).
A Direct ASP Encoding for Declare.
PADL.
(2023).
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining.
OVERLAY@AI*IA.
(2023).
From LTL on Process Traces to Finite-state Automata.
BPM (Demos / Resources Forum).
(2023).
Automata-Theoretic Techniques for Declarative Process Mining.
Sapienza University of Rome.