Declarative Diagnosis in the CLP Scheme.

Alexandre Tessier Gérard Ferrand

Published in: Analysis and Visualization Tools for Constraint Programming (2000)

Keyphrases

medical diagnosis
data sets
medical diagnostic
constraint programming
classification scheme
knowledge representation
medical images
constraint satisfaction
dynamic systems
detection scheme
constraint logic programming
early diagnosis