Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385438973> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4385438973 abstract "Process Mining is a family of techniques that exploit data collected from process execution to analyze and improve process efficiency, quality, and security. Over the years, many modeling languages have been proposed for process model specification, with different expressiveness, features, and computational properties. We propose a new logic-based declarative formalism, called Constraint Formulae, to compose process specifications, expressed in heterogeneous process modeling languages, without altering their original semantics. We formalize common process mining tasks for Constraint Formulae, study their computational properties, and provide an implementation in Answer Set Programming." @default.
- W4385438973 created "2023-08-01" @default.
- W4385438973 creator A5013411309 @default.
- W4385438973 creator A5022322296 @default.
- W4385438973 creator A5089816326 @default.
- W4385438973 date "2023-09-01" @default.
- W4385438973 modified "2023-09-27" @default.
- W4385438973 title "Logic-based Composition of Business Process Models" @default.
- W4385438973 doi "https://doi.org/10.24963/kr.2023/27" @default.
- W4385438973 hasPublicationYear "2023" @default.
- W4385438973 type Work @default.
- W4385438973 citedByCount "0" @default.
- W4385438973 crossrefType "proceedings-article" @default.
- W4385438973 hasAuthorship W4385438973A5013411309 @default.
- W4385438973 hasAuthorship W4385438973A5022322296 @default.
- W4385438973 hasAuthorship W4385438973A5089816326 @default.
- W4385438973 hasBestOaLocation W43854389731 @default.
- W4385438973 hasConcept C105795698 @default.
- W4385438973 hasConcept C115903868 @default.
- W4385438973 hasConcept C124670913 @default.
- W4385438973 hasConcept C128838566 @default.
- W4385438973 hasConcept C137631369 @default.
- W4385438973 hasConcept C142362112 @default.
- W4385438973 hasConcept C144133560 @default.
- W4385438973 hasConcept C153349607 @default.
- W4385438973 hasConcept C162853370 @default.
- W4385438973 hasConcept C173404611 @default.
- W4385438973 hasConcept C174998907 @default.
- W4385438973 hasConcept C184337299 @default.
- W4385438973 hasConcept C199360897 @default.
- W4385438973 hasConcept C207505557 @default.
- W4385438973 hasConcept C2524010 @default.
- W4385438973 hasConcept C2776036281 @default.
- W4385438973 hasConcept C33923547 @default.
- W4385438973 hasConcept C41008148 @default.
- W4385438973 hasConcept C558565934 @default.
- W4385438973 hasConcept C73301696 @default.
- W4385438973 hasConcept C76956256 @default.
- W4385438973 hasConcept C80444323 @default.
- W4385438973 hasConcept C85345410 @default.
- W4385438973 hasConcept C93453677 @default.
- W4385438973 hasConcept C98045186 @default.
- W4385438973 hasConceptScore W4385438973C105795698 @default.
- W4385438973 hasConceptScore W4385438973C115903868 @default.
- W4385438973 hasConceptScore W4385438973C124670913 @default.
- W4385438973 hasConceptScore W4385438973C128838566 @default.
- W4385438973 hasConceptScore W4385438973C137631369 @default.
- W4385438973 hasConceptScore W4385438973C142362112 @default.
- W4385438973 hasConceptScore W4385438973C144133560 @default.
- W4385438973 hasConceptScore W4385438973C153349607 @default.
- W4385438973 hasConceptScore W4385438973C162853370 @default.
- W4385438973 hasConceptScore W4385438973C173404611 @default.
- W4385438973 hasConceptScore W4385438973C174998907 @default.
- W4385438973 hasConceptScore W4385438973C184337299 @default.
- W4385438973 hasConceptScore W4385438973C199360897 @default.
- W4385438973 hasConceptScore W4385438973C207505557 @default.
- W4385438973 hasConceptScore W4385438973C2524010 @default.
- W4385438973 hasConceptScore W4385438973C2776036281 @default.
- W4385438973 hasConceptScore W4385438973C33923547 @default.
- W4385438973 hasConceptScore W4385438973C41008148 @default.
- W4385438973 hasConceptScore W4385438973C558565934 @default.
- W4385438973 hasConceptScore W4385438973C73301696 @default.
- W4385438973 hasConceptScore W4385438973C76956256 @default.
- W4385438973 hasConceptScore W4385438973C80444323 @default.
- W4385438973 hasConceptScore W4385438973C85345410 @default.
- W4385438973 hasConceptScore W4385438973C93453677 @default.
- W4385438973 hasConceptScore W4385438973C98045186 @default.
- W4385438973 hasLocation W43854389731 @default.
- W4385438973 hasOpenAccess W4385438973 @default.
- W4385438973 hasPrimaryLocation W43854389731 @default.
- W4385438973 hasRelatedWork W1567277439 @default.
- W4385438973 hasRelatedWork W1611051793 @default.
- W4385438973 hasRelatedWork W1983710131 @default.
- W4385438973 hasRelatedWork W2158991459 @default.
- W4385438973 hasRelatedWork W2345053703 @default.
- W4385438973 hasRelatedWork W2473542839 @default.
- W4385438973 hasRelatedWork W2896989384 @default.
- W4385438973 hasRelatedWork W3137799461 @default.
- W4385438973 hasRelatedWork W4285420522 @default.
- W4385438973 hasRelatedWork W4361865022 @default.
- W4385438973 isParatext "false" @default.
- W4385438973 isRetracted "false" @default.
- W4385438973 workType "article" @default.