External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour

Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski. But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. In Chuck Kalish, Martina A. Rau, Xiaojin (Jerry) Zhu, Timothy T. Rogers, editors, Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018. cognitivesciencesociety.org, 2018. [doi]

Abstract

Abstract is missing.

runs on