TREAT: a new and efficient match algorithm for AI production systems
TREAT: a new and efficient match algorithm for AI production systems
Efficient parallel implementation of RETE pattern matching
Computer Systems Science and Engineering
Transforming rule-based programs: from the sequential to the parallel
IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
Parallel Rule Firing in Production Systems
IEEE Transactions on Knowledge and Data Engineering
Parallelizing Transformations for a Concurrent Rule Execution Language
Parallelizing Transformations for a Concurrent Rule Execution Language
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Parallel execution of multi-set constraint rewrite rules
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Transactions in Constraint Handling Rules
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
OPS: a domain-independent production system language
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Optimizing compilation of CHR with rule priorities
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
On the performance of lazy matching in production systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Control issues in parallel rule-firing production systems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Guard and continuation optimization for occurrence representations of CHR
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Analyses, optimizations and extensions of constraint handling rules: ph.d. summary
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Compiling constraint handling rules for efficient tabled evaluation
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
Decentralized execution of constraint handling rules for ensembles
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |
We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR) based on a previously proposed sequential goal-based CHR semantics. We establish strong correspondence results to the abstract CHR semantics, thus guaranteeing that any answer in the concurrent, goal-based CHR semantics is reproducible in the abstract CHR semantics. Our work provides the foundation to obtain efficient, parallel CHR execution schemes.