Observable Confluence for Constraint Handling Rules-Reference-Cited by-同舟云学术

Observable Confluence for Constraint Handling Rules

Published: Issue: Volume: Page:224-239
ISSN:
Container-title:Logic Programming
language:
Short-container-title:

Author:

Duck Gregory J.,Stuckey Peter J.,Sulzmann Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_16.pdf

Reference10 articles.

1. Lecture Notes in Computer Science;S. Abdennadher,1997

2. Duck, G.J., Stuckey, P.J., Sulzmann, M.: Observable Confluence for Constraint Handling Rules. Technical Report CW 452, Katholieke Universteit Leuven. In: Proc. of CHR 2006, Third Workshop on Constraint Handling Rules (2006)

3. Lecture Notes in Computer Science;T. Frühwirth,1995

4. Lecture Notes in Computer Science;M.P. Jones,2000

5. Lam, E.S.L., Sulzmann, M.: Towards agent programming in CHR. Technical Report CW 452, Katholieke Universteit Leuven. In: Proc. of CHR 2006, Third Workshop on Constraint Handling Rules (2006)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Confluence of CHR Revisited: Invariants and Modulo Equivalence;Logic-Based Program Synthesis and Transformation;2019

2. Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs;Functional and Constraint Logic Programming;2019

3. An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules;ACM Transactions on Computational Logic;2018-09-18

4. Confluence Modulo Equivalence with Invariants in Constraint Handling Rules;Functional and Logic Programming;2018

5. Constraint handling rules with binders, patterns and generic quantification;Theory and Practice of Logic Programming;2017-08-22