Matches in SemOpenAlex for { <https://semopenalex.org/work/W2910366518> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2910366518 abstract "Individual clinical Knowledge Artifacts (KA) are designed to be used in Clinical Decision Support (CDS) systems at the point of care for delivery of safe, evidence-based care in modern healthcare systems. For formal authoring of a KA, syntax verification and validation is guaranteed by the grammar. However, there are no methods for semantic verification. Any semantic fallacy may lead to rejection of the outcomes by care providers. As a first step toward solving this problem, we present a framework for translating the logical segments of KAs into Satisfiability Modulo Theory (SMT) models. We present the effectiveness and efficiency of our work by automatically translating the logic fragment of publicly available KAs and verifying them using Z3 SMT solver." @default.
- W2910366518 created "2019-01-25" @default.
- W2910366518 creator A5058732387 @default.
- W2910366518 creator A5066768825 @default.
- W2910366518 date "2019-01-11" @default.
- W2910366518 modified "2023-09-27" @default.
- W2910366518 title "Model Checking Clinical Decision Support Systems Using SMT." @default.
- W2910366518 cites W1480909796 @default.
- W2910366518 cites W1561437312 @default.
- W2910366518 cites W1775889152 @default.
- W2910366518 cites W2005003744 @default.
- W2910366518 cites W2069075127 @default.
- W2910366518 cites W2074210146 @default.
- W2910366518 cites W2121960799 @default.
- W2910366518 cites W2137351629 @default.
- W2910366518 cites W2159595840 @default.
- W2910366518 cites W2168803832 @default.
- W2910366518 cites W2594518290 @default.
- W2910366518 cites W2791180180 @default.
- W2910366518 hasPublicationYear "2019" @default.
- W2910366518 type Work @default.
- W2910366518 sameAs 2910366518 @default.
- W2910366518 citedByCount "0" @default.
- W2910366518 crossrefType "posted-content" @default.
- W2910366518 hasAuthorship W2910366518A5058732387 @default.
- W2910366518 hasAuthorship W2910366518A5066768825 @default.
- W2910366518 hasConcept C107327155 @default.
- W2910366518 hasConcept C115903868 @default.
- W2910366518 hasConcept C154945302 @default.
- W2910366518 hasConcept C164155591 @default.
- W2910366518 hasConcept C199360897 @default.
- W2910366518 hasConcept C204321447 @default.
- W2910366518 hasConcept C2776235265 @default.
- W2910366518 hasConcept C41008148 @default.
- W2910366518 hasConcept C60048249 @default.
- W2910366518 hasConcept C63527458 @default.
- W2910366518 hasConceptScore W2910366518C107327155 @default.
- W2910366518 hasConceptScore W2910366518C115903868 @default.
- W2910366518 hasConceptScore W2910366518C154945302 @default.
- W2910366518 hasConceptScore W2910366518C164155591 @default.
- W2910366518 hasConceptScore W2910366518C199360897 @default.
- W2910366518 hasConceptScore W2910366518C204321447 @default.
- W2910366518 hasConceptScore W2910366518C2776235265 @default.
- W2910366518 hasConceptScore W2910366518C41008148 @default.
- W2910366518 hasConceptScore W2910366518C60048249 @default.
- W2910366518 hasConceptScore W2910366518C63527458 @default.
- W2910366518 hasLocation W29103665181 @default.
- W2910366518 hasOpenAccess W2910366518 @default.
- W2910366518 hasPrimaryLocation W29103665181 @default.
- W2910366518 hasRelatedWork W148145328 @default.
- W2910366518 hasRelatedWork W1558446120 @default.
- W2910366518 hasRelatedWork W1565195967 @default.
- W2910366518 hasRelatedWork W1789372156 @default.
- W2910366518 hasRelatedWork W1969743416 @default.
- W2910366518 hasRelatedWork W1978790429 @default.
- W2910366518 hasRelatedWork W2018617042 @default.
- W2910366518 hasRelatedWork W2044458395 @default.
- W2910366518 hasRelatedWork W2081867734 @default.
- W2910366518 hasRelatedWork W2118196876 @default.
- W2910366518 hasRelatedWork W2348612204 @default.
- W2910366518 hasRelatedWork W2392739208 @default.
- W2910366518 hasRelatedWork W2492341776 @default.
- W2910366518 hasRelatedWork W2556680237 @default.
- W2910366518 hasRelatedWork W2749460531 @default.
- W2910366518 hasRelatedWork W2773676607 @default.
- W2910366518 hasRelatedWork W2808405861 @default.
- W2910366518 hasRelatedWork W2909040172 @default.
- W2910366518 hasRelatedWork W3111606942 @default.
- W2910366518 hasRelatedWork W3123390024 @default.
- W2910366518 isParatext "false" @default.
- W2910366518 isRetracted "false" @default.
- W2910366518 magId "2910366518" @default.
- W2910366518 workType "article" @default.