References & Citations
Computer Science > Databases
Title: On Declare MAX-SAT and a finite Herbrand Base for data-aware logs
(Submitted on 14 Jun 2021)
Abstract: 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.
Link back to: arXiv, form interface, contact.