A refined operational semantics for ACT-R-Reference-Cited by-同舟云学术

A refined operational semantics for ACT-R

Published:2015-07-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming
language:
Short-container-title:

Author:

Gall Daniel¹,Frühwirth Thom¹

Affiliation:

1. Ulm University

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2790449.2790517

Reference25 articles.

1. S. Abdennadher . Operational semantics and confluence of constraint propagation rules . In G. Smolka editor CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming volume 1330 of Lecture Notes in Computer Science pages 252 -- 266 . Springer-Verlag 1997 . S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In G. Smolka editor CP '97: Proc. Third Intl. Conf. Principles and Practice of Constraint Programming volume 1330 of Lecture Notes in Computer Science pages 252--266. Springer-Verlag 1997.

2. Lecture Notes in Computer Science;Abdennadher S.,1998

3. S. Abdennadher and T. Frühwirth . Operational equivalence of CHR programs and constraints . In J. Jaffar editor CP '99 volume 1713 of Lecture Notes in Computer Science pages 43 -- 57 . Springer-Verlag Oct. 1999 . ISBN 3-540-66626-5. S. Abdennadher and T. Frühwirth. Operational equivalence of CHR programs and constraints. In J. Jaffar editor CP '99 volume 1713 of Lecture Notes in Computer Science pages 43--57. Springer-Verlag Oct. 1999. ISBN 3-540-66626-5.

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

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

2. Translation of Cognitive Models from ACT-R to Constraint Handling Rules;Rule Technologies. Research, Tools, and Applications;2016