Publications

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.

F. Chiariello, F.M. Maggi, F. 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.