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

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

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

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

Automata-Theoretic Techniques for Declarative Process Mining. - Francesco Chiariello (2023)

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

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

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

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

Formal Explanations of Black-Box Ranking Functions. - Francesco Chiariello; Joao Marques-Silva (JELIA (1), 2025)

Direct Encoding of Declare Constraints in ASP. - Francesco Chiariello; Valeria Fionda; Antonio Ielo; Francesco Ricca (Theory Pract. Log. Program., 2025)