Diagrammatic confluence for Constraint Handling Rules

Rémy Haemmerlé

Published in: CoRR (2012)

Keyphrases

constraint handling rules
rewrite systems
data sets
dynamic programming
data mining
database systems
bayesian networks
natural language
computer science
association rules
management system
logic programs