A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations

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]

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