A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations.
Daniel GallThom W. FrühwirthPublished in: PPDP (2015)
Keyphrases
- operational semantics
- cognitive architecture
- cognitive model
- cognitive modeling
- computational models
- cognitive processes
- cognitive models
- formal semantics
- computational model
- model theoretic
- integrity constraints
- mental states
- activity diagrams
- artificial intelligence
- object oriented
- relational databases
- knowledge base