Matches in SemOpenAlex for { <https://semopenalex.org/work/W4381279306> ?p ?o ?g. }
- W4381279306 endingPage "26" @default.
- W4381279306 startingPage "1" @default.
- W4381279306 abstract "Process Mining is a family of techniques for analyzing business process execution data recorded in event logs. Process models can be obtained as output of automated process discovery techniques or can be used as input of techniques for conformance checking or model enhancement. In Declarative Process Mining, process models are represented as sets of temporal constraints (instead of procedural descriptions where all control-flow details are explicitly modeled). An open research direction in Declarative Process Mining is whether multi-perspective specifications can be supported, i.e., specifications that not only describe the process behavior from the control-flow point of view, but also from other perspectives like data or time. In this article, we address this question by considering SAT (Propositional Satisfiability Problem) as a solving technology for a number of classical problems in Declarative Process Mining, namely, log generation, conformance checking, and temporal query checking. To do so, we first express each problem as a suitable FO (First-Order) theory whose bounded models represent solutions to the problem, and then find a bounded model of such theory by compilation into SAT." @default.
- W4381279306 created "2023-06-21" @default.
- W4381279306 creator A5018892111 @default.
- W4381279306 creator A5057746643 @default.
- W4381279306 creator A5062400010 @default.
- W4381279306 creator A5078031491 @default.
- W4381279306 date "2023-08-10" @default.
- W4381279306 modified "2023-10-08" @default.
- W4381279306 title "Data-Aware Declarative Process Mining with SAT" @default.
- W4381279306 cites W1581816844 @default.
- W4381279306 cites W1762201507 @default.
- W4381279306 cites W1797585579 @default.
- W4381279306 cites W1807096734 @default.
- W4381279306 cites W1992412373 @default.
- W4381279306 cites W2016637318 @default.
- W4381279306 cites W2036265926 @default.
- W4381279306 cites W2053454572 @default.
- W4381279306 cites W2070591515 @default.
- W4381279306 cites W2077551170 @default.
- W4381279306 cites W2084864929 @default.
- W4381279306 cites W2087103691 @default.
- W4381279306 cites W2111207692 @default.
- W4381279306 cites W2129170980 @default.
- W4381279306 cites W2133815380 @default.
- W4381279306 cites W2143217995 @default.
- W4381279306 cites W2143962534 @default.
- W4381279306 cites W2162153078 @default.
- W4381279306 cites W2167405691 @default.
- W4381279306 cites W2266252559 @default.
- W4381279306 cites W2268451814 @default.
- W4381279306 cites W2522558969 @default.
- W4381279306 cites W2549133303 @default.
- W4381279306 cites W2575990627 @default.
- W4381279306 cites W2619525032 @default.
- W4381279306 cites W2742330048 @default.
- W4381279306 cites W2794160291 @default.
- W4381279306 cites W2885420909 @default.
- W4381279306 cites W2899730448 @default.
- W4381279306 cites W2955128005 @default.
- W4381279306 cites W2963107557 @default.
- W4381279306 cites W2995721031 @default.
- W4381279306 cites W2998598019 @default.
- W4381279306 cites W3013947059 @default.
- W4381279306 cites W3042145815 @default.
- W4381279306 cites W3085303098 @default.
- W4381279306 cites W3093514791 @default.
- W4381279306 cites W3118453300 @default.
- W4381279306 cites W3167433919 @default.
- W4381279306 cites W3199128300 @default.
- W4381279306 cites W36600959 @default.
- W4381279306 cites W4210340965 @default.
- W4381279306 cites W4243932450 @default.
- W4381279306 cites W4315647142 @default.
- W4381279306 cites W4527426 @default.
- W4381279306 cites W59373101 @default.
- W4381279306 cites W79843527 @default.
- W4381279306 doi "https://doi.org/10.1145/3600106" @default.
- W4381279306 hasPublicationYear "2023" @default.
- W4381279306 type Work @default.
- W4381279306 citedByCount "0" @default.
- W4381279306 crossrefType "journal-article" @default.
- W4381279306 hasAuthorship W4381279306A5018892111 @default.
- W4381279306 hasAuthorship W4381279306A5057746643 @default.
- W4381279306 hasAuthorship W4381279306A5062400010 @default.
- W4381279306 hasAuthorship W4381279306A5078031491 @default.
- W4381279306 hasBestOaLocation W43812793061 @default.
- W4381279306 hasConcept C110251889 @default.
- W4381279306 hasConcept C121332964 @default.
- W4381279306 hasConcept C124101348 @default.
- W4381279306 hasConcept C124670913 @default.
- W4381279306 hasConcept C134306372 @default.
- W4381279306 hasConcept C144133560 @default.
- W4381279306 hasConcept C160191386 @default.
- W4381279306 hasConcept C162853370 @default.
- W4381279306 hasConcept C168773769 @default.
- W4381279306 hasConcept C174998907 @default.
- W4381279306 hasConcept C199360897 @default.
- W4381279306 hasConcept C207505557 @default.
- W4381279306 hasConcept C2775948798 @default.
- W4381279306 hasConcept C2779662365 @default.
- W4381279306 hasConcept C33923547 @default.
- W4381279306 hasConcept C34388435 @default.
- W4381279306 hasConcept C41008148 @default.
- W4381279306 hasConcept C62520636 @default.
- W4381279306 hasConcept C76956256 @default.
- W4381279306 hasConcept C80309976 @default.
- W4381279306 hasConcept C80444323 @default.
- W4381279306 hasConcept C85345410 @default.
- W4381279306 hasConcept C93453677 @default.
- W4381279306 hasConcept C98045186 @default.
- W4381279306 hasConceptScore W4381279306C110251889 @default.
- W4381279306 hasConceptScore W4381279306C121332964 @default.
- W4381279306 hasConceptScore W4381279306C124101348 @default.
- W4381279306 hasConceptScore W4381279306C124670913 @default.
- W4381279306 hasConceptScore W4381279306C134306372 @default.
- W4381279306 hasConceptScore W4381279306C144133560 @default.
- W4381279306 hasConceptScore W4381279306C160191386 @default.
- W4381279306 hasConceptScore W4381279306C162853370 @default.