Login / Signup
Decidability properties for fragments of CHR
Maurizio Gabbrielli
Jacopo Mauro
Maria Chiara Meo
Jon Sneyers
Published in:
CoRR (2010)
Keyphrases
</>
constraint handling rules
description logics
desirable properties
evolutionary algorithm
real time