{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T19:27:53Z","timestamp":1743103673684,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319426907"},{"type":"electronic","value":"9783319426914"}],"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-42691-4_1","type":"book-chapter","created":{"date-parts":[[2016,7,12]],"date-time":"2016-07-12T04:59:54Z","timestamp":1468299594000},"page":"1-21","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning with Group Norms in Software Agent Organisations"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Virginia","family":"Dignum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wamberto","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,13]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-642-22359-4_11","volume-title":"Computational Logic in Multi-agent Systems","author":"T \u00c5gotnes","year":"2011","unstructured":"\u00c5gotnes, T., Alechina, N.: Reasoning about joint action and coalitional ability in K $$_\\text{ n }$$ with intersection. In: Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 139\u2013156. Springer, Heidelberg (2011)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-319-14220-3_11","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems IX","author":"H Aldewereld","year":"2014","unstructured":"Aldewereld, H., Dignum, V., Vasconcelos, W.: We ought to; they do; blame the management!: a conceptualisation of group norms. In: Balke, T., Dignum, F., van Riemsdijk, M.B., Chopra, A.K. (eds.) COIN 2013. LNCS, vol. 8386, pp. 195\u2013210. Springer, Heidelberg (2014)"},{"key":"1_CR3","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A Anderson","year":"1958","unstructured":"Anderson, A.: A reduction of deontic logic to alethic modal logic. Mind 67, 100\u2013103 (1958)","journal-title":"Mind"},{"issue":"3","key":"1_CR4","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria 54(3), 175\u2013199 (1988)","journal-title":"Theoria"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Normative multiagent systems. In: Proceedings of Trust in Agent Societies Workshop at AAMAS 2004, New York (2004)","DOI":"10.1007\/11532095_1"},{"key":"1_CR6","unstructured":"Borgo, S.: Coalitions in action logic. In: Proceedings of the 20th International Joint Conference on Artifical Intelligence, IJCAI 2007, San Francisco, CA, USA, pp. 1822\u20131827. Morgan Kaufmann Publishers Inc. (2007)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"261","DOI":"10.3166\/jancl.19.261-290","volume":"19","author":"J Broersen","year":"2009","unstructured":"Broersen, J., Herzig, A., Troquard, N.: What groups do, can do, know they can do: an analysis in normal modal logics. J. Appl. Non-Class. Logics 19, 261\u2013290 (2009)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"1","key":"1_CR9","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1093\/jigpal\/jzp072","volume":"18","author":"J Carmo","year":"2010","unstructured":"Carmo, J.: Collective agency, direct action and dynamic operators. Logic J. IGPL 18(1), 66\u201398 (2010)","journal-title":"Logic J. IGPL"},{"issue":"2\u20133","key":"1_CR10","first-page":"129","volume":"48","author":"J Carmo","year":"2001","unstructured":"Carmo, J., Pacheco, O.: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles. Fundam. Inform. 48(2\u20133), 129\u2013163 (2001)","journal-title":"Fundam. Inform."},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"KL Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 293\u2013322. Springer, New York (1978)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/11875604_58","volume-title":"Foundations of Intelligent Systems","author":"R Demolombe","year":"2006","unstructured":"Demolombe, R., Louis, V.: Norms, institutional power and roles: towards a logical framework. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 514\u2013523. Springer, Heidelberg (2006)"},{"key":"1_CR13","unstructured":"Dignum, V.: A model for organizational interaction: based on agents, founded in logic. Ph.D. thesis, Universiteit Utrecht, The Netherlands (2004)"},{"issue":"1","key":"1_CR14","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1093\/jigpal\/jzr041","volume":"20","author":"V Dignum","year":"2011","unstructured":"Dignum, V., Dignum, F.: A logic of agent organizations. Logic J. IGPL 20(1), 283\u2013316 (2011)","journal-title":"Logic J. IGPL"},{"key":"1_CR15","first-page":"955","volume-title":"Handbook of Theoretical Computer Science","author":"EA Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 955\u20131072. MIT Press, Cambridge (1990)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/3-540-44682-6_8","volume-title":"Agent Mediated Electronic Commerce","author":"M Esteva","year":"2001","unstructured":"Esteva, M., Rodr\u00edguez-Aguilar, J.-A., Sierra, C., Garcia, P., Arcos, J.-L.: On the formal specification of electronic institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, pp. 126\u2013147. Springer, Heidelberg (2001)"},{"issue":"2","key":"1_CR17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1080\/0022250X.1986.9990008","volume":"12","author":"NE Friedkin","year":"1986","unstructured":"Friedkin, N.E.: A formal theory of social power. J. Math. Sociol. 12(2), 103\u2013126 (1986)","journal-title":"J. Math. Sociol."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.-A.: Implementing norms in electronic institutions. In: Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp. 667\u2013673. ACM. New York (2005)","DOI":"10.1145\/1082473.1082575"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1007\/978-3-540-79003-7_20","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III","author":"A Garc\u00eda-Camino","year":"2008","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.-A., Vasconcelos, W.W.: A distributed architecture for norm management in multi-agent systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 275\u2013286. Springer, Heidelberg (2008)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-540-25927-5_9","volume-title":"Deontic Logic in Computer Science","author":"D Grossi","year":"2004","unstructured":"Grossi, D., Dignum, F.P.M., Royakkers, L.M.M., Meyer, J.-J.C.: Collective obligations and agents: who gets the blame? In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 129\u2013145. Springer, Heidelberg (2004)"},{"issue":"3","key":"1_CR21","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s10506-007-9054-0","volume":"15","author":"D Grossi","year":"2007","unstructured":"Grossi, D., Royakkers, L., Dignum, F.: Organizational structure and responsibility. Artif. Intell. Law 15(3), 223\u2013249 (2007)","journal-title":"Artif. Intell. Law"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Halmos, P.: Na\u00efve set theory. Van Nostrand (1960). Reprinted by Springer-Verlag, Undergraduate Texts in Mathematics (1974)","DOI":"10.1007\/978-1-4757-1645-0"},{"issue":"6","key":"1_CR23","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1109\/TSMC.2013.2276392","volume":"44","author":"X Han","year":"2014","unstructured":"Han, X., Mandal, S., Pattipati, K.R., Kleinman, D.L., Mishra, M.: An optimization-based distributed planning algorithm: a blackboard-based collaborative framework. IEEE Trans. Syst. Man, Cybern. 44(6), 673\u2013686 (2014)","journal-title":"IEEE Trans. Syst. Man, Cybern."},{"key":"1_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1007\/3-540-44399-1_17","volume-title":"Advances in Artificial Intelligence","author":"M Hannoun","year":"2000","unstructured":"Hannoun, M., Boissier, O., Sichman, J.S., Sayettat, C.: MOISE: an organizational model for multi-agent systems. In: Monard, M.C., Sichman, J.S. (eds.) SBIA 2000 and IBERAMIA 2000. LNCS (LNAI), vol. 1952, pp. 156\u2013165. Springer, Heidelberg (2000)"},{"key":"1_CR25","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"JF Horty","year":"2001","unstructured":"Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"issue":"3","key":"1_CR26","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"AJI Jones","year":"1996","unstructured":"Jones, A.J.I., Sergot, M.J.: A formal characterisation of institutionalised power. Logic J. IGPL 4(3), 427\u2013443 (1996)","journal-title":"Logic J. IGPL"},{"key":"1_CR27","unstructured":"Kollingbaum, M., Norman, T.: NoA - a normative agent architecture. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI 2003, pp. 1465\u20131466. Morgan Kaufmann Publishers Inc., San Francisco (2003)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1007\/3-540-45448-9_7","volume-title":"Intelligent Agents VIII","author":"A Lomuscio","year":"2002","unstructured":"Lomuscio, A., Sergot, M.J.: On multi-agent systems specification via deontic logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 86\u201399. Springer, Heidelberg (2002)"},{"key":"1_CR29","unstructured":"L\u00f3pez y L\u00f3pez, F.: Social Power, Norms: Impact on Agent Behaviour. Ph.D. thesis, University of Southampton, UK, June 2003"},{"issue":"2","key":"1_CR30","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s10458-007-9024-7","volume":"17","author":"M McCallum","year":"2008","unstructured":"McCallum, M., Vasconcelos, W.W., Norman, T.J.: Organizational change through influence. Auton. Agents Multi-Agent Syst. 17(2), 157\u2013189 (2008)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"1_CR31","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.engappai.2015.04.011","volume":"43","author":"F Meneguzzi","year":"2015","unstructured":"Meneguzzi, F., Rodrigues, O., Oren, N., Vasconcelos, W.W., Luck, M.: BDI reasoning with normative considerations. Eng. Appl. Artif. Intell. 43, 127\u2013146 (2015)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D Nau","year":"2003","unstructured":"Nau, D., Ilghami, O., Kuter, U., Murdock, J.W., Wu, D., Yaman, F.: SHOP2: an HTN planning system. J. Artif. Intell. Res. 20, 379\u2013404 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.artint.2009.10.001","volume":"174","author":"TJ Norman","year":"2010","unstructured":"Norman, T.J., Reed, C.: A logic of delegation. Artif. Intell. 174, 51\u201371 (2010)","journal-title":"Artif. Intell."},{"key":"1_CR34","unstructured":"Oren, N., Luck, M., and Miles, S.: A model of normative power. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, IFAAMAS, Richland, SC, pp. 815\u2013822 (2010)"},{"key":"1_CR35","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1021884118023","volume":"6","author":"O Pacheco","year":"2003","unstructured":"Pacheco, O., Carmo, J.: A role based model for the normative specification of organized collective agency and agents interaction. Auton. Agents Multi-Agent Syst. 6, 145\u2013184 (2003)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"3","key":"1_CR36","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s10458-013-9229-x","volume":"28","author":"N Troquard","year":"2014","unstructured":"Troquard, N.: Reasoning about coalitional agency and ability in the logics of \u201cbringing-it-about\u201d. Auton. Agents Multi-Agent Syst. 28(3), 381\u2013407 (2014)","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"5","key":"1_CR37","doi-asserted-by":"crossref","first-page":"5990","DOI":"10.1016\/j.eswa.2011.11.108","volume":"39","author":"WW Vasconcelos","year":"2012","unstructured":"Vasconcelos, W.W., Garc\u00eda-Camino, A., Gaertner, D., Rodr\u00edguez-Aguilar, J.A., Noriega, P.: Distributed norm management for multi-agent systems. Expert Syst. Appl. 39(5), 5990\u20135999 (2012)","journal-title":"Expert Syst. Appl."},{"key":"1_CR38","unstructured":"Williams, R.K.: Interaction and Topology in Distributed Multi-Agent Coordination. Ph.D. thesis, Department of Electrical Engineering, University of Southern California (2014)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42691-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,10]],"date-time":"2019-09-10T21:28:43Z","timestamp":1568150923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42691-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319426907","9783319426914"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42691-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}