Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300841605> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4300841605 abstract "Complex systems are usually modelled through a combination of structural and behavioural models, where separate behavioural models make it easier to design and understand partial behaviour. When partial models are combined, we need to guarantee that they are consistent, and several automated techniques have been developed to check this. We argue that in some cases it is impossible to guarantee total consistency, and instead we want to find execution paths across such models with minimal conflicts with respect to a certain metric of interest. We present an efficient and scalable solution to find optimal paths through a combination of the theorem prover Isabelle with the constraint solver Z3. Our approach has been inspired by a healthcare problem, namely how to detect conflicts between medications taken by patients with multiple chronic conditions, and how to find preferable alternatives automatically." @default.
- W4300841605 created "2022-10-04" @default.
- W4300841605 creator A5004629504 @default.
- W4300841605 creator A5013198849 @default.
- W4300841605 date "2017-07-13" @default.
- W4300841605 modified "2023-10-16" @default.
- W4300841605 title "A Flexible Approach for Finding Optimal Paths with Minimal Conflicts" @default.
- W4300841605 doi "https://doi.org/10.48550/arxiv.1707.05383" @default.
- W4300841605 hasPublicationYear "2017" @default.
- W4300841605 type Work @default.
- W4300841605 citedByCount "0" @default.
- W4300841605 crossrefType "posted-content" @default.
- W4300841605 hasAuthorship W4300841605A5004629504 @default.
- W4300841605 hasAuthorship W4300841605A5013198849 @default.
- W4300841605 hasBestOaLocation W43008416051 @default.
- W4300841605 hasConcept C115903868 @default.
- W4300841605 hasConcept C126255220 @default.
- W4300841605 hasConcept C154945302 @default.
- W4300841605 hasConcept C162324750 @default.
- W4300841605 hasConcept C176217482 @default.
- W4300841605 hasConcept C199360897 @default.
- W4300841605 hasConcept C21547014 @default.
- W4300841605 hasConcept C2524010 @default.
- W4300841605 hasConcept C2776036281 @default.
- W4300841605 hasConcept C2776436953 @default.
- W4300841605 hasConcept C2778770139 @default.
- W4300841605 hasConcept C3019612716 @default.
- W4300841605 hasConcept C33923547 @default.
- W4300841605 hasConcept C41008148 @default.
- W4300841605 hasConcept C48044578 @default.
- W4300841605 hasConcept C77088390 @default.
- W4300841605 hasConcept C80444323 @default.
- W4300841605 hasConceptScore W4300841605C115903868 @default.
- W4300841605 hasConceptScore W4300841605C126255220 @default.
- W4300841605 hasConceptScore W4300841605C154945302 @default.
- W4300841605 hasConceptScore W4300841605C162324750 @default.
- W4300841605 hasConceptScore W4300841605C176217482 @default.
- W4300841605 hasConceptScore W4300841605C199360897 @default.
- W4300841605 hasConceptScore W4300841605C21547014 @default.
- W4300841605 hasConceptScore W4300841605C2524010 @default.
- W4300841605 hasConceptScore W4300841605C2776036281 @default.
- W4300841605 hasConceptScore W4300841605C2776436953 @default.
- W4300841605 hasConceptScore W4300841605C2778770139 @default.
- W4300841605 hasConceptScore W4300841605C3019612716 @default.
- W4300841605 hasConceptScore W4300841605C33923547 @default.
- W4300841605 hasConceptScore W4300841605C41008148 @default.
- W4300841605 hasConceptScore W4300841605C48044578 @default.
- W4300841605 hasConceptScore W4300841605C77088390 @default.
- W4300841605 hasConceptScore W4300841605C80444323 @default.
- W4300841605 hasLocation W43008416051 @default.
- W4300841605 hasLocation W43008416052 @default.
- W4300841605 hasOpenAccess W4300841605 @default.
- W4300841605 hasPrimaryLocation W43008416051 @default.
- W4300841605 hasRelatedWork W1610655459 @default.
- W4300841605 hasRelatedWork W1729094848 @default.
- W4300841605 hasRelatedWork W2057858345 @default.
- W4300841605 hasRelatedWork W2093252072 @default.
- W4300841605 hasRelatedWork W3199662701 @default.
- W4300841605 hasRelatedWork W343649676 @default.
- W4300841605 hasRelatedWork W4254746972 @default.
- W4300841605 hasRelatedWork W4297804236 @default.
- W4300841605 hasRelatedWork W4300841605 @default.
- W4300841605 hasRelatedWork W43441413 @default.
- W4300841605 isParatext "false" @default.
- W4300841605 isRetracted "false" @default.
- W4300841605 workType "article" @default.