On Termination, Confluence and Consistent CHR-based Type Inference.

Gregory J. Duck Rémy Haemmerlé Martin Sulzmann

Published in: Theory Pract. Log. Program. (2014)

Keyphrases

constraint handling rules
rewrite systems
type checking
bayesian networks
learning algorithm
inference process
real time
real world
artificial intelligence
social networks
feature selection
graphical models
probabilistic inference