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

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Bergami, Giacomo
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Databases Computer Science - Logic in Computer Science
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!