Verification of clinical guidelines encoded into knowledge-based DSSs.
Eugenio CesarioMassimo EspositoGiuseppe De PietroDomenico TaliaPublished in: IEEE Conf. of Intelligent Systems (2012)
Keyphrases
- clinical guidelines
- decision support system
- clinical trials
- free text
- medical staff
- temporal constraints
- model checking
- clinical practice
- patient data
- medical knowledge
- expert systems
- formal representation
- ontology driven
- specification language
- computer assisted
- temporal information
- information retrieval
- general purpose
- artificial intelligence