{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:22:18Z","timestamp":1743070938258,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642207143"},{"type":"electronic","value":"9783642207150"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20715-0_7","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T12:35:27Z","timestamp":1302266127000},"page":"112-129","source":"Crossref","is-referenced-by-count":2,"title":["Executing Specifications of Social Reasoning Agents"],"prefix":"10.1007","author":[{"given":"Iain","family":"Wallace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Rovatsos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/ICMAS.2000.858427","volume-title":"Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS 2000)","author":"M. Allouche","year":"2000","unstructured":"Allouche, M., Boissier, O., Sayettat, C.: Temporal social reasoning in dynamic multi-agent systems. In: Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS 2000), pp. 23\u201330. IEEE, Los Alamitos (2000)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/1160633.1160663","volume-title":"Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2006)","author":"L. Sauro","year":"2006","unstructured":"Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2006), pp. 185\u2013192. ACM Press, New York (2006)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/375735.375766","volume-title":"Proceedings of the Fifth International Conference on Autonomous Agents","author":"J. Broersen","year":"2001","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The boid architecture - conflicts between beliefs, obligations, intentions and desires. In: Proceedings of the Fifth International Conference on Autonomous Agents, pp. 9\u201316. ACM Press, New York (2001)"},{"issue":"3-4","key":"7_CR4","first-page":"407","volume":"2","author":"F. Dignum","year":"2002","unstructured":"Dignum, F., Kinny, D., Sonenberg, L.: From Desires, Obligations and Norms to Goals. Cognitive Science Quarterly\u00a02(3-4), 407\u2013430 (2002)","journal-title":"Cognitive Science Quarterly"},{"key":"7_CR5","first-page":"68","volume":"13","author":"J.S. Sichman","year":"2001","unstructured":"Sichman, J.S., Demazeau, Y.: On social reasoning in multi-agent systems. Revista Iberoamericana de Inteligencia Artificial\u00a013, 68\u201384 (2001)","journal-title":"Revista Iberoamericana de Inteligencia Artificial"},{"key":"7_CR6","unstructured":"Wallace, I., Rovatsos, M.: Bounded Social Reasoning in the ESB Framework. In: Decker, S., Sichman, J., Sierra, C., Castelfranchi, C. (eds.) Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), pp. 1097\u20131104 (2009)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"A. Rao","year":"1996","unstructured":"Rao, A.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol.\u00a01038, pp. 42\u201355. Springer, Heidelberg (1996)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"7_CR9","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak using Jason. Wiley, Chichester (2007)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"487","DOI":"10.2307\/2216075","volume":"35","author":"P.R. Cohen","year":"1991","unstructured":"Cohen, P.R., Levesque, H.J.: Teamwork. No\u00fbs\u00a035, 487\u2013512 (1991)","journal-title":"No\u00fbs"},{"key":"7_CR11","unstructured":"Rummy.com - The Rules of Rummy (2008), \n                    \n                      http:\/\/rummy.com\/rummyrules.html"},{"issue":"2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1111\/1467-8640.00187","volume":"18","author":"S. Kumar","year":"2002","unstructured":"Kumar, S., Huber, M.J., Cohen, P.R., McGee, D.R.: Toward a formalism for conversation protocols using joint intention theory. Computational Intelligence\u00a018(2), 174\u2013228 (2002)","journal-title":"Computational Intelligence"},{"key":"7_CR13","unstructured":"Wallace, I.: Social Reasoning in Multi-Agent Systems with the Expectation-Strategy-Behaviour Framework. PhD thesis, School of Informatics, University of Edinburgh (2010)"},{"key":"7_CR14","unstructured":"Kollingbaum, M.: Norm-governed Practical Reasoning Agent. PhD thesis, University of Aberdeen (2005)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20715-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T17:40:13Z","timestamp":1558546813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20715-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207143","9783642207150"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20715-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}