{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T10:00:38Z","timestamp":1775296838603,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030047702","type":"print"},{"value":"9783030047719","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04771-9_17","type":"book-chapter","created":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T17:02:53Z","timestamp":1544029373000},"page":"216-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Cerone","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,6]]},"reference":[{"key":"17_CR1","unstructured":"Abowd, G., Beale, R.: Users, systems and interfaces: a unifying framework for interaction. In: People and Computer VI (HCI 1991), pp. 73\u201387. Cambridge University Press (1991)"},{"key":"17_CR2","volume-title":"The Architecture of Cognition","author":"JR Anderson","year":"1983","unstructured":"Anderson, J.R.: The Architecture of Cognition. Psychology Press, London (1983)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Broccia, G., Masci, P., Milazzo, P.: Modelling and analysis of human memory load in multitasking scenarios. In: EICS 2018. ACM (2018)","DOI":"10.1145\/3220134.3220140"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-319-77935-5_4","volume-title":"NASA Formal Methods","author":"G Broccia","year":"2018","unstructured":"Broccia, G., Milazzo, P., \u00d6lveczky, P.C.: An executable formal framework for safety-critical human multitasking. In: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 54\u201369. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77935-5_4"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-319-41591-8_20","volume-title":"Software Engineering and Formal Methods","author":"A Cerone","year":"2016","unstructured":"Cerone, A.: A cognitive framework based on rewriting logic for the analysis of interactive systems. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 287\u2013303. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_20"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Cerone, A., Zhexenbayeva, A.: Using formal methods to validate research hypotheses: the Duolingo case study. In: STAF 2018 Workshops (DataMod). LNCS, vol. 11176, pp. 163\u2013170. Springer, Cham (2018)","DOI":"10.1007\/978-3-030-04771-9_13"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-44881-0_7","volume-title":"Rewriting Techniques and Applications","author":"M Clavel","year":"2003","unstructured":"Clavel, M., et al.: The Maude 2.0 system. In: Nieuwenhuis, R. (ed.) RTA 2003. LNCS, vol. 2706, pp. 76\u201387. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44881-0_7"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Golosio, B., Cangelosi, A., Gamotina, O., Masala, G.L.: A cognitive neural model of executive functions in natural language processing. In: Proceedings of BICA 2015 of Procedia Computer Science, vol. 71, pp. 196\u2013201. Elsevier (2015)","DOI":"10.1016\/j.procs.2015.12.200"},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7688.001.0001","volume-title":"The Soar Cognitive Architecture","author":"JE Laird","year":"2012","unstructured":"Laird, J.E.: The Soar Cognitive Architecture. MIT Press, Cambridge (2012)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Norman, D.A., Shallice, T.: Attention to action: willed and automatic control of behaviour. In: Consciousness and Self-Regulation, Advances in Research and Theory, Vol. 4. Plenum Press (1986)","DOI":"10.1007\/978-1-4757-0629-1_1"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-6687-0","volume-title":"Designing Reliable Distributed Systems - A Formal Methods Approach Based on Modeling in Maude","author":"PC \u00d6lveczky","year":"2017","unstructured":"\u00d6lveczky, P.C.: Designing Reliable Distributed Systems - A Formal Methods Approach Based on Modeling in Maude. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-1-4471-6687-0 . Undergraduate Topics in Computer Science"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Ruk\u0161\u0117enas, R., Curzon, P., Blandford, A.: Modelling rational user behaviour as games between an angel and a demon. In: Cerone, A., Gruner, S. (eds.), Proceedings of SEFM 2008, pp. 355\u2013364. IEEE Press (2008)","DOI":"10.1109\/SEFM.2008.43"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Samsonovich, A.V.: Towards a unified catalog of implemented cognitive architectures. In: Biologically Inspired Cognitive Architectures (BICA 2010), pp. 195\u2013244. IOS Press (2010)","DOI":"10.3233\/978-1-60750-661-4-195"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1037\/0033-295X.112.1.159","volume":"112","author":"R Sun","year":"2005","unstructured":"Sun, R., Slusarz, P., Terry, C.: The interaction of the explicit and implicit in skill learning: a dual-process approach. Psychol. Rev. 112, 159\u2013192 (2005)","journal-title":"Psychol. Rev."},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"20","DOI":"10.22266\/ijies2013.0331.03","volume":"6","author":"M Zhang","year":"2013","unstructured":"Zhang, M., Wang, F., Yin, J.: A survey on human computer interaction technology for ATM. Intell. Eng. Syst. 6(1), 20\u201329 (2013)","journal-title":"Intell. Eng. Syst."}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04771-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T09:25:57Z","timestamp":1775294757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04771-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030047702","9783030047719"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04771-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"STAF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Federation of International Conferences on Software Technologies: Applications and Foundations","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"staf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.staf2018.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}