Login / Signup
Using Constraint Logic Programming for the Verification of Customized Decision Models for Clinical Guidelines.
Szymon Wilk
Adi Fux
Martin Michalowski
Mor Peleg
Pnina Soffer
Published in:
AIME (2017)
Keyphrases
</>
constraint logic programming
decision models
clinical guidelines
temporal constraints
constraint solving
decision model
free text
decision theoretic
influence diagrams
temporal reasoning
constraint propagation
clinical trials
model construction
answer set programming
logic programming
constraint programming
model checking
learning algorithm
formal representation
patient data
expected utility
probabilistic reasoning
medical knowledge
clinical practice
temporal aspects
specification language
qualitative and quantitative
decision making
ontology driven
information extraction
global constraints
semi automatic
constraint satisfaction problems
knowledge representation
probabilistic inference
lower bound
data mining
decision makers