Towards declarative diagnosis of constraint programs over finite domains
Gérard FerrandWilly LesaintAlexandre TessierPublished in: CoRR (2003)
Keyphrases
- real world
- application domains
- medical diagnosis
- knowledge representation
- fault diagnosis
- domain independent
- diagnostic reasoning
- attention deficit hyperactivity disorder
- learning algorithm
- database systems
- model based diagnosis
- global constraints
- programming environment
- model based reasoning
- function symbols
- medical diagnostic