Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Arjen HommersomPeter J. F. LucasPatrick van BommelPublished in: CoRR (2008)
Keyphrases
- automated reasoning
- clinical guidelines
- knowledge representation
- free text
- probabilistic reasoning
- theorem prover
- theorem proving
- temporal constraints
- clinical trials
- medical knowledge
- data mining
- information extraction
- clinical practice
- temporal aspects
- knowledge base
- decision support system
- graphical models
- expert systems
- patient data
- high level
- specification language
- ontology driven