Decidability properties for fragments of CHR.

Maurizio Gabbrielli Jacopo Mauro Maria Chiara Meo Jon Sneyers

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

Keyphrases

constraint handling rules
description logics
desirable properties
databases
data mining
social networks
wide range
expressive power