Francesco Chiariello

According to our database, Francesco Chiariello authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Direct ASP Encoding for Declare.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2024

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., March, 2023

Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining.

Francesco Chiariello

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

From LTL on Process Traces to Finite-state Automata.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

Proceedings of the Best Dissertation Award, 2023

2022

A tool for compiling Declarative Process Mining problems in ASP.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

Softw. Impacts, December, 2022

ASP-Based Declarative Process Mining.

Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022