A Decidable Confluence Test for Cognitive Models in ACT-R.

Daniel Gall Thom W. Frühwirth

Published in: CoRR (2017)

Keyphrases

cognitive models
cognitive processes
cognitive model
cognitive architecture
cognitive modeling
cognitive science
computational models
causal inferences
neural network
machine learning
artificial neural networks
information processing
intelligent agents
first order logic
real valued