Francesco Chiariello

13 papers A* 1B 1C 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Direct Encoding of Declare Constraints in ASP.
Theory Pract. Log. Program.
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2025 — conf
Formal Explanations of Black-Box Ranking Functions.
JELIA (1)
Francesco Chiariello, João Marques-Silva
2024 C conf
A Direct ASP Encoding for Declare.
PADL
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 B conf
An ILASP-Based Approach to Repair Petri Nets.
LPNMR
Francesco Chiariello, Antonio Ielo, Alice Tarzariol
2024 J jnl
Direct Encoding of Declare Constraints in ASP.
CoRR
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 C conf
Learning Temporal Properties from Event Logs via Sequential Analysis.
TIME
Francesco Chiariello
2023 — conf
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining.
OVERLAY@AI*IA
Francesco Chiariello
2023 — —
Automata-Theoretic Techniques for Declarative Process Mining.
Francesco Chiariello
2023 — conf
From LTL on Process Traces to Finite-state Automata.
BPM (Demos / Resources Forum)
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2023 J jnl
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis.
Inf. Syst.
Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
2022 J jnl
A tool for compiling Declarative Process Mining problems in ASP.
Softw. Impacts
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2022 A* conf
ASP-Based Declarative Process Mining.
AAAI
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
2022 J jnl
ASP-Based Declarative Process Mining.
CoRR
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi