{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:13:06Z","timestamp":1725574386938},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540238065"},{"type":"electronic","value":"9783540304982"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30498-2_1","type":"book-chapter","created":{"date-parts":[[2011,1,8]],"date-time":"2011-01-08T00:21:59Z","timestamp":1294446119000},"page":"1-11","source":"Crossref","is-referenced-by-count":1,"title":["Checking Social Properties of Multi-agent Systems with Activity Theory"],"prefix":"10.1007","author":[{"given":"Rub\u00e9n","family":"Fuentes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge J.","family":"G\u00f3mez-Sanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"Pav\u00f3n","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1016\/0020-7373(91)90030-B","volume":"34","author":"S. B\u00f8dker","year":"1981","unstructured":"B\u00f8dker, S., Gr\u00f8nboek, K.: Cooperative prototyping: users and designers in mutual activity. International Journal of Man-Machine Studies\u00a034(3), 453\u2013478 (1981)","journal-title":"International Journal of Man-Machine Studies"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming\u00a020, 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"1_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-24620-6_8","volume-title":"Agent-Oriented Software Engineering IV","author":"R. Fuentes","year":"2004","unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 110\u2013122. Springer, Heidelberg (2004)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25945-9_52","volume-title":"Current Topics in Artificial Intelligence","author":"R. Fuentes","year":"2004","unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Social Analysis of Multi-Agent Systems with Activity Theory. In: Conejo, R., Urretavizcaya, M., P\u00e9rez-de-la-Cruz, J.-L. (eds.) CAEPIA\/TTIA 2003. LNCS, vol.\u00a03040. Springer, Heidelberg (2004)"},{"unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Towards Requirements Elicitation in Multi-Agent Systems. In: Proceedings of the 4th International Symposium From Agent Theory to Agent Implementation (AT2AI 2004), Vienna, Austria (April 2004)","key":"1_CR5"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1145\/192844.193065","volume-title":"Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work - CSCW 1994","author":"J. Hughes","year":"1994","unstructured":"Hughes, J., King, V., Rodden, T., Andersen, H.: Moving out from the control room: ethnography in system design. In: Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work - CSCW 1994, pp. 429\u2013439. ACM Press, New York (1994)"},{"unstructured":"IBM alphaWorks: Robocode (2002), \n                      \n                        http:\/\/robocode.alphaworks.ibm.com","key":"1_CR7"},{"key":"1_CR8","volume-title":"The dialectics of the abstract and the concrete in Marx\u2019s Capital","author":"E.V. Ilyenkov","year":"1982","unstructured":"Ilyenkov, E.V.: The dialectics of the abstract and the concrete in Marx\u2019s Capital. Progress, Moscow (1982)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/306412.306431","volume":"6","author":"V. Kaptelinin","year":"1999","unstructured":"Kaptelinin, V., Nardi, B.A., Macaulay, C.: The Activity Checklist: A tool for representing the \u201cspace\u201d of context. Interactions\u00a06(4), 27\u201339 (1999)","journal-title":"Interactions"},{"key":"1_CR10","volume-title":"Activity, Consciousness, and Personality","author":"A.N. Leontiev","year":"1978","unstructured":"Leontiev, A.N.: Activity, Consciousness, and Personality. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"1_CR11","volume-title":"Artificial Life Journal","author":"P. Maes","year":"1994","unstructured":"Maes, P.: Modeling Adaptative Autonomous Agents. In: Langton, C. (ed.) Artificial Life Journal, vol.\u00a01(1,2). MIT Press, Cambridge (1994)"},{"key":"1_CR12","volume-title":"Proceedings of the HIemCSS-33 - Software Process Improvement","author":"G.M. McGrath","year":"2000","unstructured":"McGrath, G.M., Uden, L.: Modelling Softer Aspects of the Software Development Process: An Activity Theory based approach. In: Proceedings of the HIemCSS-33 - Software Process Improvement, January 2000. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"1_CR13","volume-title":"Proceedings of the 22nd International Conference on Software Engineering (ICSE-2000)","author":"B. Nuseibeh","year":"2000","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE-2000). ACM Press, New York (2000)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-45023-8_38","volume-title":"Multi-Agent Systems and Applications III","author":"J. Pav\u00f3n","year":"2003","unstructured":"Pav\u00f3n, J., G\u00f3mez-Sanz, J.: Agent Oriented Software Engineering with INGENIAS. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS, vol.\u00a02691, pp. 394\u2013403. Springer, Heidelberg (2003)"},{"unstructured":"Sichman, J., Demazeau, Y.: On Social Reasoning in Multi-Agent Systems. Revista Iberoamericana de Inteligencia Artificial, n\u00b013, pp. 68-84, AEPIA (2001)","key":"1_CR15"},{"unstructured":"Sykara, K.P.: Multiagent systems. AI Magazine\u00a019(2) (1998)","key":"1_CR16"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence \u2013 IBERAMIA 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30498-2_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:04:41Z","timestamp":1620014681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30498-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540238065","9783540304982"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30498-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}