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

Daniel Gall, Thom W. Frhwirth

Browse the full PPDP paper archive.