On Proving Confluence Modulo Equivalence for Constraint Handling Rules.

Henning Christiansen Maja H. Kirkeby

Published in: CoRR (2016)

Keyphrases

constraint handling rules
real time
information retrieval
database
artificial intelligence
decision making
probability distribution