Login / Signup
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.
Vincent Langenfeld
Bernd Westphal
Rebecca Albrecht
Andreas Podelski
Published in:
CogSci (2018)
Keyphrases
</>
formal analysis
computational model
statistical model
formal model
high level
mathematical model
experimental data
agent model
neural network
prior knowledge
probabilistic model
probability distribution
building blocks