A Verified, Executable Formalism for Resilient and Pervasive Guideline-Based Decision Support for Patients.
Nick Lik San FungMarten J. van SinderenValerie M. JonesHermie J. HermensPublished in: AIME (2020)
Keyphrases
- decision support
- decision support system
- clinical decision support systems
- electronic patient record
- intensive care
- cancer treatment
- patient data
- therapy planning
- ischemic stroke
- clinical trials
- medical knowledge
- decision makers
- decision making
- clinical practice guidelines
- data warehouse
- intensive care unit
- clinical data
- clinical guidelines
- context aware
- product configuration
- medical data
- formal specification
- knowledge discovery from databases
- computing environments
- data warehousing
- management system
- knowledge representation
- intelligent environments
- pervasive computing
- conceptual graphs
- health care
- business intelligence
- knowledge discovery
- expert systems
- data mining
- acute abdominal pain
- process algebra
- clinical practice
- information systems