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

Gregory J. Duck Rémy Haemmerlé Martin Sulzmann

Published in: CoRR (2014)

Keyphrases

rewrite systems
type checking
constraint handling rules
data sets
bayesian inference
probabilistic inference
database
databases
real world
information retrieval
social networks
bayesian networks
search algorithm
pairwise
globally optimal
active rules