An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules

Daniel Gall, Thom W. Frühwirth. An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. ACM Trans. Comput. Log., 19(3), 2018. [doi]

Authors

Daniel Gall

This author has not been identified. Look up 'Daniel Gall' in Google

Thom W. Frühwirth

This author has not been identified. Look up 'Thom W. Frühwirth' in Google