Constraint Handling Rules

The more you CHR, the better you are.

CHR Papers at RuleML 2016

The following CHR-related papers were accepted at RuleML 2016:
  • Iliano Cervesato and Edmund Soon Lee Lam. Choreographic Compilation of Decentralized Comprehension Patterns.
  • Daniel Gall and Thom Fruehwirth. Translation of Cognitive Models from ACT-R to Constraint Handling Rules.
  • Thom Fruehwirth. Why Can’t You Behave? Non-Termination Analysis of Direct Recursive Rules with Constraints.

Leave a Reply

Your email address will not be published. Required fields are marked *