{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:33:54Z","timestamp":1725860034619},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319420189"},{"type":"electronic","value":"9783319420196"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42019-6_15","type":"book-chapter","created":{"date-parts":[[2016,6,26]],"date-time":"2016-06-26T22:04:53Z","timestamp":1466978693000},"page":"223-237","source":"Crossref","is-referenced-by-count":1,"title":["Translation of Cognitive Models from ACT-R to Constraint Handling Rules"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Gall","sequence":"first","affiliation":[]},{"given":"Thom","family":"Fr\u00fchwirth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-48085-3_4","volume-title":"Principles and Practice of Constraint Programming \u2013 CP\u201999","author":"S Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T.: Operational equivalence of CHR programs and constraints. In: Jaffar, J. (ed.) CP 1999. LNCS, vol. 1713, pp. 43\u201357. Springer, Heidelberg (1999)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-61551-2_62","volume-title":"Principles and Practice of Constraint Programming CP96","author":"S Abdennadher","year":"1996","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: On confluence of constraint handling rules. In: Freuder, E.C. (ed.) Principles and Practice of Constraint Programming CP96. Lecture Notes in Computer Science, vol. 1118, pp. 1\u201315. Springer, Berlin Heidelberg (1996)"},{"doi-asserted-by":"crossref","unstructured":"Albrecht, R., Gie\u00dfwein, M., Westphal, B.: Towards formally founded ACT-R simulation and analysis. In: Proceedings of the 12th Biannual Conference of the German Cognitive Science Society (Gesellschaft f\u00fcr Kognitionswissenschaft), vol. 15 (Suppl. 1), Cognitive Processing, pp. 27\u201328. Springer (2014)","key":"15_CR3","DOI":"10.1007\/s10339-014-0632-2"},{"doi-asserted-by":"crossref","unstructured":"Albrecht, R., Westphal, B.: F-ACT-R: defining the ACT-R architectural space. In: Proceedings of the 12th Biannual Conference of the German Cognitive Science Society (Gesellschaft f\u00fcr Kognitionswissenschaft), vol. 15 (Suppl. 1), Cognitive Processing, pp. 79\u201381. Springer (2014)","key":"15_CR4","DOI":"10.1007\/s10339-014-0632-2"},{"issue":"4","key":"15_CR5","doi-asserted-by":"crossref","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":"15_CR6","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1017\/S147106841000030X","volume":"10","author":"H Betz","year":"2010","unstructured":"Betz, H., Raiser, F., Fr\u00fchwirth, T.: A complete and terminating execution model for constraint handling rules. Theor. Pract. Logic Program. 10, 597\u2013610 (2010)","journal-title":"Theor. Pract. Logic Program."},{"unstructured":"Bothell, D.: ACT-R 6.0 Reference Manual - Working Draft. Department of Psychology, Carnegie Mellon University, Pittsburgh, PA","key":"15_CR7"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"unstructured":"Fr\u00fchwirth, T.: As time goes by: automatic complexity analysis of simplification rules. In: Fensel, D., Giunchiglia, F., McGuinness, D., Williams, M.A. (eds.) KR 2002: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, pp. 547\u2013557, April 2002","key":"15_CR9"},{"key":"15_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511609886","volume-title":"Constraint Handling Rules","author":"T Fr\u00fchwirth","year":"2009","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/978-3-319-21542-6_2","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"T Fr\u00fchwirth","year":"2015","unstructured":"Fr\u00fchwirth, T.: Constraint handling rules - what else? In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 13\u201334. Springer, Heidelberg (2015)"},{"key":"15_CR12","doi-asserted-by":"crossref","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, 525\u2013538 (2014)","journal-title":"Theor. Pract. Logic Program."},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/978-3-319-17822-6_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"D Gall","year":"2015","unstructured":"Gall, D., Fr\u00fchwirth, T.: A formal semantics for the cognitive architecture ACT-R. In: Proietti, M., Seki, H. (eds.) LOPSTR 2014. LNCS, vol. 8981, pp. 74\u201391. Springer, Heidelberg (2015)"},{"doi-asserted-by":"crossref","unstructured":"Gall, D., Fr\u00fchwirth, T.: A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, pp. 114\u2013124. ACM, New York (2015)","key":"15_CR14","DOI":"10.1145\/2790449.2790517"},{"unstructured":"Langbein, J., Raiser, F., Fr\u00fchwirth, T.: A state equivalence and confluence checker for CHR. In: Van Weert, P., De Koninck, L. (eds.) CHR 2010. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010","key":"15_CR15"},{"issue":"1","key":"15_CR16","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1017\/S1471068410000438","volume":"11","author":"F Raiser","year":"2011","unstructured":"Raiser, F., Fr\u00fchwirth, T.: Analysing graph transformation systems through constraint handling rules. Theor. Pract. Logic Program. 11(1), 65\u2013109 (2011)","journal-title":"Theor. Pract. Logic Program."},{"issue":"2","key":"15_CR17","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/s11229-010-9847-7","volume":"187","author":"I Rooij van","year":"2012","unstructured":"van Rooij, I., Wright, C.D., Wareham, T.: Intractability and the use of heuristics in psychological explanations. Synthese 187(2), 471\u2013487 (2012)","journal-title":"Synthese"},{"unstructured":"Salvucci, D.: ACT-R: The Java Simulation & Development Environment. http:\/\/cog.cs.drexel.edu\/act-r\/","key":"15_CR18"},{"issue":"3","key":"15_CR19","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.cogsys.2007.06.006","volume":"8","author":"TC Stewart","year":"2007","unstructured":"Stewart, T.C., West, R.L.: Deconstructing and reconstructing ACT-R: exploring the architectural space. Cogn. Syst. Res. 8(3), 227\u2013236 (2007)","journal-title":"Cogn. Syst. Res."},{"key":"15_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/CBO9780511816772.003","volume-title":"The Cambridge Handbook of Computational Psychology","author":"R Sun","year":"2008","unstructured":"Sun, R.: Introduction to computational cognitive modeling. In: Sun, R. (ed.) The Cambridge Handbook of Computational Psychology, pp. 3\u201319. Cambridge University Press, New York (2008)"},{"doi-asserted-by":"crossref","unstructured":"Taatgen, N.A., Lebiere, C., Anderson, J.: Modeling paradigms in ACT-R. In: Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation, pp. 29\u201352. Cambridge University Press (2006)","key":"15_CR21","DOI":"10.1017\/CBO9780511610721.003"}],"container-title":["Lecture Notes in Computer Science","Rule Technologies. Research, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42019-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T03:02:54Z","timestamp":1568084574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42019-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319420189","9783319420196"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42019-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}