Publications

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca (2025). Direct Encoding of Declare Constraints in ASP. Theory and Practice of Logic Programming.

Francesco Chiariello (2024). Learning Temporal Properties from Event Logs via Sequential Analysis. TIME.

Francesco Chiariello, Antonio Ielo, Alice Tarzariol (2024). An ILASP-Based Approach to Repair Petri Nets. LPNMR.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca (2024). A Direct ASP Encoding for Declare. PADL.

Francesco Chiariello (2023). Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining. OVERLAY@AI*IA.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi (2023). From LTL on Process Traces to Finite-state Automata. BPM (Demos / Resources Forum).

Francesco Chiariello (2023). Automata-Theoretic Techniques for Declarative Process Mining. Sapienza University of Rome.

Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi (2023). Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. Information Systems.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi (2022). A tool for compiling Declarative Process Mining problems in ASP. Software Impacts.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi (2022). ASP-Based Declarative Process Mining (Extended Abstract). ICLP Technical Communications / Doctoral Consortium.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi (2022). ASP-Based Declarative Process Mining. AAAI.