Certainty closure: Reliable constraint reasoning with incomplete or erroneous data.

Neil Yorke-Smith Carmen Gervet

Published in: ACM Trans. Comput. Log. (2009)

Keyphrases

constraint reasoning
erroneous data
constraint propagation
temporal constraints
temporal reasoning
missing data
constraint satisfaction problems
cost effective
constraint programming
arc consistency
path consistency
noisy data
constraint satisfaction
low level
missing values