Daniel Gall, Thom W. Frühwirth. A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. In Moreno Falaschi, Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. pages 114-124, ACM, 2015. [doi]
Abstract is missing.