{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:47:51Z","timestamp":1783097271474,"version":"3.54.6"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319178219","type":"print"},{"value":"9783319178226","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-17822-6_5","type":"book-chapter","created":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T05:57:31Z","timestamp":1429682251000},"page":"74-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Formal Semantics for the Cognitive Architecture ACT-R"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Gall","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,4,23]]},"reference":[{"key":"5_CR1","unstructured":"The ACT-R 6.0 tutorial. http:\/\/act-r.psy.cmu.edu\/actr6\/units.zip, http:\/\/act-r.psy.cmu.edu\/actr6\/units.zip (2012)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/3-540-49481-2_4","volume-title":"Principles and Practice of Constraint Programming - CP98","author":"S Abdennadher","year":"1998","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: On Completion of Constraint Handling Rules. In: Maher, Michael J., Puget, Jean-Fran\u00e7ois (eds.) CP 1998. LNCS, vol. 1520, p. 25. Springer, Heidelberg (1998)"},{"key":"5_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780195324259.001.0001","volume-title":"How can the human mind occur in the physical universe?","author":"JR Anderson","year":"2007","unstructured":"Anderson, J.R.: How can the human mind occur in the physical universe? Oxford University Press, Oxford (2007)"},{"issue":"4","key":"5_CR4","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1037\/0033-295X.111.4.1036","volume":"111","author":"JR Anderson","year":"2004","unstructured":"Anderson, J.R., Bothell, D., Byrne, M.D., Douglass, S., Lebiere, C., Qin, Y.: An integrated theory of the mind. Psychol. Rev. 111(4), 1036\u20131060 (2004)","journal-title":"Psychol. Rev."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Fr\u00fchwirth, T., Marte, M.: Soft constraint propagation and solving in CHRs. In: Proceedings of the 2002 ACM symposium on Applied computing. pp. 1\u20135. ACM (2002)","DOI":"10.1145\/508791.508793"},{"key":"5_CR6","unstructured":"Bothell, D.: ACT-R 6.0 Reference Manual - Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, Pennsylvania 15213"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-74610-2_16","volume-title":"Logic Programming","author":"GJ Duck","year":"2007","unstructured":"Duck, G.J., Stuckey, P.J., Sulzmann, M.: Observable Confluence for Constraint Handling Rules. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 224\u2013239. Springer, Heidelberg (2007)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)","DOI":"10.1017\/CBO9780511609886"},{"key":"5_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2","volume-title":"Essentials of Constraint Programming","author":"T Fr\u00fchwirth","year":"2003","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Essentials of Constraint Programming. Springer, Berlin (2003)"},{"key":"5_CR10","unstructured":"Gall, D.: A rule-based implementation of ACT-R using Constraint Handling Rules. Master Thesis, Ulm University (2013)"},{"issue":"4\u20135","key":"5_CR11","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1017\/S1471068414000180","volume":"14","author":"D Gall","year":"2014","unstructured":"Gall, D., Fr\u00fchwirth, T.: Exchanging conflict resolution in an adaptable implementation of ACT-R. Theor. Pract. Logic Program. 14(4\u20135), 525\u2013538 (2014)","journal-title":"Theor. Pract. Logic Program."},{"key":"5_CR12","volume-title":"Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation","author":"NA Taatgen","year":"2006","unstructured":"Taatgen, N.A., Lebiere, C., Anderson, J.: Modeling paradigms in ACT-R. Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation. Cambridge University Press, Cambridge (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-17822-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,8]],"date-time":"2023-02-08T10:18:57Z","timestamp":1675851537000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-17822-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319178219","9783319178226"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-17822-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"23 April 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}