Parallelism, Concurrency and Distribution in CHR
A preliminary version of the survey on Parallelism, Concurrency and Distribution in Constraint Handling Rules is online:
Comments are welcome!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.