_:n3059af24cd0142988d00b550533faa2fxb40
<http://schema.org/description>
"We put forward Answer Set Programming (ASP) as a solution approach for three\nclassical problems in Declarative Process Mining: Log Generation, Query\nChecking, and Conformance Checking. These problems correspond to different ways\nof analyzing business processes under execution, starting from sequences of\nrecorded events, a.k.a. event logs. We tackle them in their data-aware variant,\ni.e., by considering events that carry a payload (set of attribute-value\npairs), in addition to the performed activity, specifying processes\ndeclaratively with an extension of linear-time temporal logic over finite\ntraces (LTLf). The data-aware setting is significantly more challenging than\nthe control-flow one: Query Checking is still open, while the existing\napproaches for the other two problems do not scale well. The contributions of\nthe work include an ASP encoding schema for the three problems, their solution,\nand experiments showing the feasibility of the approach."
<https://cdnjs.deepai.org/profile/fabio-patrizi>