Loading...
Please wait, while we are loading the content...
Similar Documents
Concurrent goal-based execution of Constraint Handling Rules
| Content Provider | Scilit |
|---|---|
| Author | Lam, Edmund S. L. Sulzmann, Martin |
| Copyright Year | 2010 |
| Description | 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. |
| Related Links | http://arxiv.org/pdf/1006.3039 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0D0BF170112A2BBACCE2E08A1B88DB25/S147106841000044Xa.pdf/div-class-title-concurrent-goal-based-execution-of-constraint-handling-rules-div.pdf |
| Ending Page | 879 |
| Page Count | 39 |
| Starting Page | 841 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s147106841000044x |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 6 |
| Volume Number | 11 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2011-11-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Hardware and Architecture Multiset Rewriting |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
