On Declare MAX-SAT and a finite Herbrand Base for data-aware logs

06/14/2021

∙

by   Giacomo Bergami, et al.

∙

0

∙

share

This technical report provides some lightweight introduction motivating the definition of an alignment of log traces against Data-Aware Declare Models potentially containing correlation conditions. This technical report is only providing the intuition of the logical framework as a feasibility study for a future formalization and experiment section.