Using model checking for critiquing based on clinical guidelines.
Perry GrootArjen HommersomPeter J. F. LucasRobbert-Jan MerkAnnette ten TeijeFrank van HarmelenRadu SerbanPublished in: Artif. Intell. Medicine (2009)
Keyphrases
- model checking
- clinical guidelines
- temporal logic
- formal specification
- free text
- specification language
- temporal constraints
- model checker
- formal verification
- clinical trials
- automated verification
- symbolic model checking
- patient data
- computation tree logic
- formal representation
- clinical practice
- medical knowledge
- epistemic logic
- verification method
- ontology driven
- formal methods
- planning domains
- structured data
- knowledge acquisition
- temporal aspects
- information extraction
- web services
- artificial intelligence
- machine learning