Download PDFOpen PDF in browser

ASP-Based Declarative Process Mining

EasyChair Preprint 8675

3 pagesDate: August 12, 2022

Abstract

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problems, namely, Log Generation, Conformance Checking, and Query Checking. These problems are addressed from both a control-flow and a data-aware perspective. The approach is based on the representation of process specifications as (finite-state) automata. Since these are strictly more expressive than the defacto DPM standard specification language DECLARE, more general specifications than those typical of DPM can be handled, such as formulas in linear-time temporal logic over finite traces.

Keyphrases: Answer Set Programming, Declarative Process Mining, Query Checking, conformance checking, log generation

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:8675,
  author    = {Francesco Chiariello and Fabrizio Maria Maggi and Fabio Patrizi},
  title     = {ASP-Based Declarative Process Mining},
  howpublished = {EasyChair Preprint 8675},
  year      = {EasyChair, 2022}}
Download PDFOpen PDF in browser