Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294837532> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4294837532 endingPage "216" @default.
- W4294837532 startingPage "199" @default.
- W4294837532 abstract "Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference processes. Specifically, we show how to solve it via SMT encodings, lifting previous work on data-aware SMT-based conformance checking to this more sophisticated setting. Our approach is modular, in that it homogeneously accommodates for different types of uncertainty. Moreover, using appropriate cost functions, different conformance checking tasks can be addressed. We show the correctness of our approach and witness feasibility through a proof-of-concept implementation." @default.
- W4294837532 created "2022-09-07" @default.
- W4294837532 creator A5043097301 @default.
- W4294837532 creator A5047795784 @default.
- W4294837532 creator A5069796121 @default.
- W4294837532 creator A5072702493 @default.
- W4294837532 creator A5089863459 @default.
- W4294837532 date "2022-01-01" @default.
- W4294837532 modified "2023-10-16" @default.
- W4294837532 title "Conformance Checking with Uncertainty via SMT" @default.
- W4294837532 cites W1128447031 @default.
- W4294837532 cites W1480909796 @default.
- W4294837532 cites W1481397690 @default.
- W4294837532 cites W2090777457 @default.
- W4294837532 cites W2094385143 @default.
- W4294837532 cites W2101238481 @default.
- W4294837532 cites W2810005068 @default.
- W4294837532 cites W2899730448 @default.
- W4294837532 cites W2969864379 @default.
- W4294837532 cites W2995721031 @default.
- W4294837532 cites W3042145815 @default.
- W4294837532 cites W3123135483 @default.
- W4294837532 cites W3128849215 @default.
- W4294837532 cites W3170848248 @default.
- W4294837532 cites W3197445978 @default.
- W4294837532 cites W3208930226 @default.
- W4294837532 cites W4226237594 @default.
- W4294837532 doi "https://doi.org/10.1007/978-3-031-16103-2_15" @default.
- W4294837532 hasPublicationYear "2022" @default.
- W4294837532 type Work @default.
- W4294837532 citedByCount "1" @default.
- W4294837532 countsByYear W42948375322023 @default.
- W4294837532 crossrefType "book-chapter" @default.
- W4294837532 hasAuthorship W4294837532A5043097301 @default.
- W4294837532 hasAuthorship W4294837532A5047795784 @default.
- W4294837532 hasAuthorship W4294837532A5069796121 @default.
- W4294837532 hasAuthorship W4294837532A5072702493 @default.
- W4294837532 hasAuthorship W4294837532A5089863459 @default.
- W4294837532 hasConcept C101468663 @default.
- W4294837532 hasConcept C110251889 @default.
- W4294837532 hasConcept C113954288 @default.
- W4294837532 hasConcept C115903868 @default.
- W4294837532 hasConcept C124101348 @default.
- W4294837532 hasConcept C127413603 @default.
- W4294837532 hasConcept C138885662 @default.
- W4294837532 hasConcept C168065819 @default.
- W4294837532 hasConcept C174998907 @default.
- W4294837532 hasConcept C199360897 @default.
- W4294837532 hasConcept C207505557 @default.
- W4294837532 hasConcept C21547014 @default.
- W4294837532 hasConcept C2775948798 @default.
- W4294837532 hasConcept C2776401178 @default.
- W4294837532 hasConcept C41008148 @default.
- W4294837532 hasConcept C41895202 @default.
- W4294837532 hasConcept C55439883 @default.
- W4294837532 hasConcept C79403827 @default.
- W4294837532 hasConcept C80444323 @default.
- W4294837532 hasConcept C85345410 @default.
- W4294837532 hasConceptScore W4294837532C101468663 @default.
- W4294837532 hasConceptScore W4294837532C110251889 @default.
- W4294837532 hasConceptScore W4294837532C113954288 @default.
- W4294837532 hasConceptScore W4294837532C115903868 @default.
- W4294837532 hasConceptScore W4294837532C124101348 @default.
- W4294837532 hasConceptScore W4294837532C127413603 @default.
- W4294837532 hasConceptScore W4294837532C138885662 @default.
- W4294837532 hasConceptScore W4294837532C168065819 @default.
- W4294837532 hasConceptScore W4294837532C174998907 @default.
- W4294837532 hasConceptScore W4294837532C199360897 @default.
- W4294837532 hasConceptScore W4294837532C207505557 @default.
- W4294837532 hasConceptScore W4294837532C21547014 @default.
- W4294837532 hasConceptScore W4294837532C2775948798 @default.
- W4294837532 hasConceptScore W4294837532C2776401178 @default.
- W4294837532 hasConceptScore W4294837532C41008148 @default.
- W4294837532 hasConceptScore W4294837532C41895202 @default.
- W4294837532 hasConceptScore W4294837532C55439883 @default.
- W4294837532 hasConceptScore W4294837532C79403827 @default.
- W4294837532 hasConceptScore W4294837532C80444323 @default.
- W4294837532 hasConceptScore W4294837532C85345410 @default.
- W4294837532 hasLocation W42948375321 @default.
- W4294837532 hasOpenAccess W4294837532 @default.
- W4294837532 hasPrimaryLocation W42948375321 @default.
- W4294837532 hasRelatedWork W106084318 @default.
- W4294837532 hasRelatedWork W1498982577 @default.
- W4294837532 hasRelatedWork W1587224678 @default.
- W4294837532 hasRelatedWork W1601811574 @default.
- W4294837532 hasRelatedWork W1626838369 @default.
- W4294837532 hasRelatedWork W2068981034 @default.
- W4294837532 hasRelatedWork W2149863285 @default.
- W4294837532 hasRelatedWork W2393090232 @default.
- W4294837532 hasRelatedWork W4283027157 @default.
- W4294837532 hasRelatedWork W4294837532 @default.
- W4294837532 isParatext "false" @default.
- W4294837532 isRetracted "false" @default.
- W4294837532 workType "book-chapter" @default.