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.
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
Gruppo di ricerca: Data Management and Semantic Technologies