Francesco Chiariello

According to our database, Francesco Chiariello authored at least 11 papers between 2022 and 2025.

Collaborative distances:

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

2025

Direct Encoding of Declare Constraints in ASP.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Theory Pract. Log. Program., 2025

Formal Explanations of Black-Box Ranking Functions.

Francesco Chiariello, João Marques-Silva

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

Learning Temporal Properties from Event Logs via Sequential Analysis.

Francesco Chiariello

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

A Direct ASP Encoding for Declare.

Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Proceedings of the Practical Aspects of Declarative Languages, 2024

An ILASP-Based Approach to Repair Petri Nets.

Francesco Chiariello, Antonio Ielo, Alice Tarzariol

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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-Theoretic Techniques for Declarative Process Mining.

Francesco Chiariello

PhD thesis, 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