[go: up one dir, main page]

Follow
Francesco Chiariello
Francesco Chiariello
Verified email at ml.rwth-aachen.de - Homepage
Title
Cited by
Cited by
Year
ASP-Based Declarative Process Mining
F Chiariello, FM Maggi, F Patrizi
The Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22) 36 (5 …, 2022
312022
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis
S Agostinelli, F Chiariello, FM Maggi, A Marrella, F Patrizi
Information Systems 114, 102180, 2023
282023
A direct ASP encoding for declare
F Chiariello, V Fionda, A Ielo, F Ricca
International Symposium on Practical Aspects of Declarative Languages, 116-133, 2024
72024
From LTL on process traces to finite-state automata
F Chiariello, FM Maggi, F Patrizi
BPM-D 2023: BPM 2023 Best Dissertation Award, Doctoral Consortium, and …, 2023
72023
An ILASP-Based Approach to Repair Petri Nets
F Chiariello, A Ielo, A Tarzariol
International Conference on Logic Programming and Nonmonotonic Reasoning, 85-97, 2024
52024
A tool for compiling declarative process mining problems in ASP
F Chiariello, FM Maggi, F Patrizi
Software Impacts 14, 100435, 2022
52022
Direct Encoding of Declare Constraints in ASP
F Chiariello, V Fionda, A Ielo, F Ricca
Theory and Practice of Logic Programming 25 (1), 92-131, 2025
12025
Learning temporal properties from event logs via sequential analysis
F Chiariello
31st International Symposium on Temporal Representation and Reasoning (TIME …, 2024
12024
Formal Explanations of Black-Box Ranking Functions
F Chiariello, J Marques-Silva
European Conference on Logics in Artificial Intelligence, 28-44, 2025
2025
Automata-Theoretic Techniques for Declarative Process Mining
F Chiariello
Sapienza University of Rome, 2023
2023
Temporal Reasoning in ASP and its Application to Declarative Process Mining
F Chiariello, FM Maggi, F Patrizi
AAAI 2023 Spring Symposium On the Effectiveness of Temporal Logics on Finite …, 2023
2023
Solving Declarative Process Mining Problems Using Declarative Problem Solving
F Chiariello
AAAI 2023 Bridge Program on Artificial Intelligence and Business Process …, 2023
2023
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining.
F Chiariello
OVERLAY@ AI* IA, 37-42, 2023
2023
ASP-Based Declarative Process Mining (Extended Abstract)
F Chiariello, FM Maggi, F Patrizi
38th International Conference on Logic Programming (ICLP2022) 364, 197-199, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–14