{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:42:13Z","timestamp":1725608533422},"publisher-location":"Vienna","reference-count":16,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211830550"},{"type":"electronic","value":"9783709168783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-3-7091-6878-3_4","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:43:51Z","timestamp":1316072631000},"page":"45-60","source":"Crossref","is-referenced-by-count":4,"title":["Users as rational interacting agents: formalising assumptions about cognition and interaction"],"prefix":"10.1007","author":[{"given":"Ann","family":"Blandford","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Butterworth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Good","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"BLANDFORD, A. E. & DUKE, D. J. (1997). Integrating user and computer system concerns in the design of interactive systems. International Journal of Human- Computer Studies, pp. 653 \u2013 679.","DOI":"10.1006\/ijhc.1997.0116"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-1-5041-2896-4_15","volume-title":"Human-Computer Interaction: Interact*95. Chapman and Hall","author":"AE Blandford","year":"1995","unstructured":"BLANDFORD, A. E. & YOUNG, R. M. (1995) Separating User And Device Descriptions for Modelling Interactive Problem Solving. In K. Nordby, P. Helmersen, D J Gilmore, and S Arnesen (eds.): Human-Computer Interaction: Interact*95. Chapman and Hall, 1995. pp. 91 \u2013 96."},{"key":"4_CR3","first-page":"323","volume":"6","author":"AE Blandford","year":"1996","unstructured":"BLANDFORD, A. E. & YOUNG, R. M. (1996) Specifying user knowledge for the design of interactive systems. Software Engineering Journal. 11. 6, 323 \u2013 333.","journal-title":"Specifying user knowledge for the design of interactive systems. Software Engineering Journal. 11"},{"issue":"(4)","key":"4_CR4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/2.375178","volume":"28","author":"JP Bowen","year":"1995","unstructured":"BOWEN, J.P. & HINCHEY, M.G. (1995) Ten Commandments of Formal Methods. IEEE Computer. Vol 28 (4), pp. 56 \u2013 63.","journal-title":"IEEE Computer"},{"key":"4_CR5","volume-title":"The Psychology of Human Computer Interaction","author":"SK Card","year":"1983","unstructured":"CARD, S. K., MORAN, T. P. AND NEWELL, A. (1983). The Psychology of Human Computer Interaction, Hillsdale: Lawrence Erlbaum."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"DUKE, D.J. (1995) Reasoning About Gestural Interaction. Computer Graphics Forum, Vol 14(3). Proceedings of Eurographics\u201995. pp. 55\u201366. NCC\/Blackwell","DOI":"10.1111\/j.1467-8659.1995.cgf143_0055.x"},{"key":"4_CR7","first-page":"73","volume-title":"Design, Specification and Verification of Interactive Systems\u201996","author":"GP Faconti","year":"1996","unstructured":"FACONTI, G.P. & DUKE, D.J. (1996) Device Models. In F. Bodart & J. Vanderdonckt (Eds.) Design, Specification and Verification of Interactive Systems\u201996. pp. 73 \u2013 91. Vienna: Springer-Verlag."},{"key":"4_CR8","first-page":"320","volume":"3","author":"B John","year":"1996","unstructured":"JOHN, B. & KIERAS, D. (1996) The GOMS family of user interface analysis techniques: comparison and contrast. ACM Transactions on CHI., 3, 320 \u2013 351.","journal-title":"ACM Transactions on CHI"},{"key":"4_CR9","volume-title":"An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. (EPIC Tech. Rep. No. 5 (TR-95\/ONR-EPIC-5). Ann Arbor","author":"D Kieras","year":"1995","unstructured":"KIERAS, D. & MEYER, D.E. (1995) An overview of the EPIC architecture for cognition and performance with application to human-computer interaction. (EPIC Tech. Rep. No. 5 (TR-95\/ONR-EPIC-5). Ann Arbor, University of Michigan, Electrical Engineering and Computer Science Department."},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0020-7373(85)80045-6","volume":"22","author":"DE Kieras","year":"1985","unstructured":"KIERAS, D.E. & POLSON, P.G. (1985) An approach to the formal analysis of user complexity. International Journal of Man Machine Studies, 22, 365 \u2013 394.","journal-title":"International Journal of Man Machine Studies"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(82)90012-1","volume":"18","author":"A Newell","year":"1982","unstructured":"NEWELL, A. (1982) \u2018The knowledge level\u2019 Artificial Intelligence, 18, 87 \u2013 127.","journal-title":"Artificial Intelligence"},{"key":"4_CR12","volume-title":"Human Problem Solving, Englewood Cliffs","author":"A Newell","year":"1972","unstructured":"NEWELL, A. AND SIMON, H. (1972). Human Problem Solving, Englewood Cliffs, NJ: Prentice Hall."},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1207\/s15327051hci0202_1","volume":"2","author":"SJ Payne","year":"1986","unstructured":"PAYNE, S. J. AND GREEN, T.R.G. (1986). Task-Action Grammars: a model of mental representation of task languages. Human-Computer Interaction, 2, 93 \u2013 133.","journal-title":"Human-Computer Interaction"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1207\/s15327051hci0502&3_3","volume":"5","author":"P Polson","year":"1990","unstructured":"POLSON, P. & LEWIS, C. (1990) Theory based design for easily learned interfaces. Human Computer Interaction, 5, 191 \u2013 220.","journal-title":"Human Computer Interaction"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"RYAN, M., FIADEIRO, J. & MAIBAUM, T. (1991) \u201cSharing Actions and Attributes in Modal Action Logic\u201d in T. Ito and A. Meyer (Eds.) Theoretical Aspects of Computer Software. Springer Verlag.","DOI":"10.1007\/3-540-54415-1_65"},{"key":"4_CR16","first-page":"15","volume-title":"Proceedings of CHI \u201989","author":"RM Young","year":"1989","unstructured":"YOUNG, R.M., GREEN, T.R.G. & SIMON, T. (1989) \u2018Programmable user models for predictive evaluation of interface designs\u2019 in Bice, K. and Lewis, C. (eds.) Proceedings of CHI \u201989, 15 \u2013 19, New York: ACM."}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6878-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,6]],"date-time":"2021-05-06T15:34:46Z","timestamp":1620315286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6878-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783211830550","9783709168783"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6878-3_4","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1997]]}}}