Home » Publication » 26026

Dettaglio pubblicazione

2022, SOFTWARE IMPACTS, Pages 100435- (volume: 14)

A tool for compiling Declarative Process Mining problems in ASP (01a Articolo in rivista)

Chiariello Francesco, Maria Maggi Fabrizio, Patrizi Fabio

We present a tool for compiling three problems from the Process Mining community into Answer Set Programming: Log Generation, Conformance Checking, and Query Checking. For each problem, two versions are addressed, one considering only the control-flow perspective and the other considering also the data perspective. The tool can support companies in analyzing their business processes; it is highly flexible and general, and can be easily modified to address other problems from Declarative Process Mining.
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma