An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules
From MaRDI portal
Publication:4691741
DOI10.1145/3218818zbMath1407.68094arXiv1702.01606OpenAlexW2593727116MaRDI QIDQ4691741
Publication date: 24 October 2018
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1702.01606
operational semanticsconstraint handling rulescomputational cognitive modelingACT-Rsource to source transformation
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Cognitive psychology (91E10) Semantics in the theory of computing (68Q55)
Uses Software