Business process compliance is a key area of business process management and aims at
ensuring that processes obey to compliance constraints such as regulatory constraints or …

Conformance checking is a key process mining task to confront the normative behavior
imposed by a process model with the actual behavior recorded in a log. While this problem …

Conformance checking, one of the central tasks in process mining, compares the expected
behavior described by a reference process model to the actual behavior recorded in an …

Inconsistency is a core problem in fields such as AI and data-intensive systems. In this work,
we address the problem of measuring inconsistency in declarative process specifications …

Traditional conformance checking tasks assume that event data provide a faithful and
complete representation of the actual process executions. This assumption has been …

Real-world processes operate on objects that are inter-dependent. To accurately reflect the
nature of such processes, object-centric process mining techniques are needed, notably …

Probabilistic programming (PP) is a programming paradigm that allows for writing statistical
models like ordinary programs, performing simulations by running those programs, and …

It is crucial for organizations to ensure that their business processes are executed accurately
and comply with internal policies and requirements. Process mining is a discipline of data …

In the context of process mining, alignments are increasingly being adopted for conformance
checking, due to their ability in providing sophisticated diagnostics on the nature and extent …

Alignments provide sophisticated diagnostics that pinpoint deviations in a trace with respect
to a process model. One crucial aspect is to consider, in the alignment task, not only the …