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

Daniel Gall Thom W. Frühwirth

Published in: RuleML+RR (2017)

Keyphrases

cognitive models
cognitive processes
cognitive model
cognitive modeling
cognitive architecture
computational models
cognitive science
neural network
decision making
computational model
artificial neural networks
first order logic
causal inferences
student modeling