Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming.
Nirad SharmaRobert M. ColombPublished in: J. Log. Program. (1998)
Keyphrases
- constraint logic programming
- causal reasoning
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- temporal reasoning
- constraint propagation
- medical diagnosis
- model based diagnosis
- fault diagnosis
- logic programs
- proof theoretic
- constraint satisfaction
- temporal information
- linear programming
- constraint solver
- high level
- finite domain
- databases