Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
Beatriz PérezPublished in: J. Biomed. Informatics (2019)
Keyphrases
- data types
- constraint logic programming
- clinical guidelines
- temporal constraints
- constraint solving
- temporal reasoning
- constraint propagation
- free text
- data model
- answer set programming
- database systems
- logic programming
- database management systems
- clinical practice
- clinical trials
- user defined
- data structure
- constraint programming
- patient data
- ontology driven
- medical knowledge
- formal representation
- global constraints
- temporal aspects
- machine learning
- databases
- specification language
- data analysis
- data mining algorithms
- constraint satisfaction problems
- logic programs
- medical images
- artificial intelligence
- object oriented