TY - RPRT TI - An Operational Semantics for the Cognitive Architecture ACT-R and its Translation to Constraint Handling Rules AU - Daniel Gall AU - Thom Frühwirth PY - 2017 UR - https://arxiv.org/abs/1702.01606 ID - 1702.01606 ER -