{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,18]],"date-time":"2026-09-18T02:25:51Z","timestamp":1789698351141,"version":"4.0.1"},"reference-count":77,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T00:00:00Z","timestamp":1491004800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1007\/s10458-017-9362-z","type":"journal-article","created":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T15:24:26Z","timestamp":1491060266000},"page":"1236-1282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Detection and resolution of normative conflicts in multi-agent systems: a literature survey"],"prefix":"10.1007","volume":"31","author":[{"given":"J\u00e9ssica S.","family":"Santos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean O.","family":"Zahn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eduardo A.","family":"Silvestre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viviane T.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wamberto W.","family":"Vasconcelos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,4,1]]},"reference":[{"key":"9362_CR1","doi-asserted-by":"crossref","unstructured":"Aphale, M., Norman, T.\u00a0J., & \u015eensoy, M. (2013). Goal-directed policy conflict detection and prioritisation. In Aldewereld, H., Sichman, J.S., (Eds), Coordination, organisations, institutions and norms in agent systems VIII, volume 7756 of Lecture notes in computer science (pp. 87\u2013104). Springer.","DOI":"10.1007\/978-3-642-37756-3_6"},{"key":"9362_CR2","volume-title":"The grammar of society: The nature and dynamics of social norms","author":"C Bicchieri","year":"2006","unstructured":"Bicchieri, C. (2006). The grammar of society: The nature and dynamics of social norms. Cambridge: Cambridge University Press."},{"key":"9362_CR3","unstructured":"Boella, G., Tosatto, S.\u00a0C., Garcez, A.\u00a0D., Genovese, V., Perotti, A., & van\u00a0der Torre, L. (2012). Learning and reasoning about norms using neural-symbolic systems. In Proceedings of the 11th international conference on autonomous agents and multiagent systems\u2014Vol. 2. International foundation for autonomous agents and multiagent systems, pp. 1023\u20131030."},{"issue":"2\u20133","key":"9362_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/s10588-006-9537-7","volume":"12","author":"G Boella","year":"2006","unstructured":"Boella, G., van der Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational & Mathematical Organization Theory, 12(2\u20133), 71\u201379.","journal-title":"Computational & Mathematical Organization Theory"},{"key":"9362_CR5","doi-asserted-by":"crossref","unstructured":"Broersen, J., Dastani, M., & van\u00a0der Torre, L. (2001b). Resolving conflicts between beliefs, obligations, intentions, and desires. In Proceedings of the 6th European conference on symbolic and quantitative approaches to reasoning with uncertainty, ECSQARU \u201901 (pp. 568\u2013579), London: Springer.","DOI":"10.1007\/3-540-44652-4_50"},{"key":"9362_CR6","doi-asserted-by":"crossref","unstructured":"Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., & van\u00a0der Torre, L. (2001a). The BOID architecture: Conflicts between beliefs, obligations, intentions and desires. In Proceedings of the fifth international conference on autonomous agents, AGENTS \u201901, New York, NY, USA. ACM, pp. 9\u201316.","DOI":"10.1145\/375735.375766"},{"key":"9362_CR7","doi-asserted-by":"crossref","unstructured":"Cholvy, L. (2006). Querying contradictory databases by taking into account their reliability and their number. In Flexible databases supporting imprecision and uncertainty (pp. 149\u2013168). Springer.","DOI":"10.1007\/3-540-33289-8_6"},{"key":"9362_CR8","doi-asserted-by":"crossref","unstructured":"Cholvy, L., & Cuppens, F. (1995). Solving normative conflicts by merging roles. In Proceedings of the 5th international conference on artificial intelligence and law, ICAIL \u201995, New York, NY, USA. ACM, pp. 201\u2013209.","DOI":"10.1145\/222092.222241"},{"key":"9362_CR9","unstructured":"Cholvy, L., & Cuppens, F. (1999). Reasoning about norms provided by conflicting regulations. In P. McNamara & H. Prakken (Eds.), Norms, logics and information systems: New studies in deontic logic and computer science. Frontiers in artificial intelligence and applications (Vol. 49, pp. 247\u2013262). Washington; Amsterdam: IOS Press."},{"issue":"2","key":"9362_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1023\/B:JIIS.0000012469.11873.bb","volume":"22","author":"L Cholvy","year":"2004","unstructured":"Cholvy, L., & Garion, C. (2004). Answering queries addressed to several databases according to a majority merging approach. Journal of Intelligent Information Systems, 22(2), 175\u2013201.","journal-title":"Journal of Intelligent Information Systems"},{"key":"9362_CR11","doi-asserted-by":"crossref","unstructured":"Cliffe, O., De\u00a0Vos, M., & Padget, J. (2007). Answer set programming for representing and reasoning about virtual institutions. In Inoue, K., Satoh, K., & Toni, F. (Eds), Computational logic in multi-agent systems, volume 4371 of Lecture notes in computer science (pp. 60\u201379). Berlin: Springer.","DOI":"10.1007\/978-3-540-69619-3_4"},{"key":"9362_CR12","unstructured":"Criado, N., Argente, E., & Botti, V. (2010a). A BDI architecture for normative decision making. In Proceedings of the 9th international conference on autonomous agents and multiagent systems: volume 1. International foundation for autonomous agents and multiagent systems, pp. 1383\u20131384."},{"key":"9362_CR13","doi-asserted-by":"crossref","unstructured":"Criado, N., Argente, E., & Botti, V.\u00a0J. (2010b). Normative deliberation in graded BDI agents. In Multiagent system technologies, 8th German conference, MATES 2010, Leipzig, Germany, September 27\u201329, 2010. Proceedings, pp. 52\u201363.","DOI":"10.1007\/978-3-642-16178-0_7"},{"key":"9362_CR14","unstructured":"Criado, N., Argente, E., Noriega, P., & Botti, V.\u00a0J. (2010c). Towards a normative BDI architecture for norm compliance. In Proceedings of the multi-agent logics, languages, and organisations federated workshops (MALLOW 2010), Lyon, France, August 30\u2013September 2, 2010, pp. 65\u201381."},{"key":"9362_CR15","unstructured":"da\u00a0Silva, V.\u00a0T., Braga, C., & Zahn, J.\u00a0O. (2015). Indirect normative conflict\u2014 conflict that depends on the application domain. In ICEIS 2015\u2014Proceedings of the 17th international conference on enterprise information systems (Vol. 1), Barcelona, Spain, 27\u201330 April, 2015, pp. 452\u2013461."},{"key":"9362_CR16","doi-asserted-by":"crossref","unstructured":"da\u00a0Silva, V.T., Zahn, J.\u00a0O. (2014). Normative conflicts that depend on the domain. In Balke, T., Dignum, F., van Riemsdijk, M.\u00a0B., & Chopra, A.\u00a0K. (Eds), Coordination, organizations, institutions, and norms in agent systems IX, volume 8386 of Lecture Notes in Computer Science (pp. 311\u2013326). Springer International Publishing.","DOI":"10.1007\/978-3-319-14220-3_17"},{"key":"9362_CR17","volume-title":"Z: An introduction to formal methods","author":"A Diller","year":"1990","unstructured":"Diller, A. (1990). Z: An introduction to formal methods (Vol. 2). Chichester: Wiley."},{"key":"9362_CR18","doi-asserted-by":"crossref","unstructured":"dos Santos\u00a0Neto, B.\u00a0F., da\u00a0Silva, V.\u00a0T., & de\u00a0Lucena, C. J.\u00a0P. (2010). Using Jason to develop normative agents. In A. da\u00a0Rocha\u00a0Costa, R. Vicari, & F. Tonidandel (Eds.), Advances in artificial intelligence\u2014SBIA 2010, volume 6404 of Lecture notes in computer science (pp. 143\u2013152). Berlin: Springer.","DOI":"10.1007\/978-3-642-16138-4_15"},{"key":"9362_CR19","doi-asserted-by":"crossref","unstructured":"dos Santos\u00a0Neto, B.\u00a0F., da\u00a0Silva, V.\u00a0T., & de\u00a0Lucena, C. J.\u00a0P. (2012). An architectural model for autonomous normative agents. In L. Barros, M. Finger, A. Pozo, G. Gimen\u00e9nez-Lugo, & M. Castilho (Eds.), Advances in artificial intelligence\u2014SBIA 2012, Lecture notes in computer science (pp. 152\u2013161). Berlin: Springer.","DOI":"10.1007\/978-3-642-34459-6_16"},{"key":"9362_CR20","unstructured":"dos Santos\u00a0Neto, B.\u00a0F., da\u00a0Silva, V.\u00a0T., & de\u00a0Lucena, C. J.\u00a0P. (2013). Developing goal-oriented normative agents: The NBDI architecture. In J. Filipe, & A. Fred (Eds.), Agents and artificial intelligence, volume 271 of Communications in computer and information science (pp. 176\u2013191). Berlin: Springer."},{"issue":"2","key":"9362_CR21","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung, P. M. (1995). On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2), 321\u2013357.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"9362_CR22","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1080\/713670491","volume":"9","author":"AA Elhag","year":"2000","unstructured":"Elhag, A. A., Breuker, J. A., & Brouwer, P. (2000). On the formal analysis of normative conflicts. Information & Communications Technology Law, 9(3), 207\u2013217.","journal-title":"Information & Communications Technology Law"},{"key":"9362_CR23","unstructured":"Fenech, S., Pace, G.\u00a0J., & Schneider, G. (2008). Detection of conflicts in electronic contracts. NWPT 2008, 34."},{"key":"9362_CR24","doi-asserted-by":"crossref","unstructured":"Fenech, S., Pace, G., & Schneider, G. (2009). Automatic conflict detection on contracts. In M. Leucker, C. Morgan (Eds.), Theoretical aspects of computing\u2014ICTAC 2009, volume 5684 of Lecture notes in computer science (pp. 200\u2013214). Berlin: Springer.","DOI":"10.1007\/978-3-642-03466-4_13"},{"key":"9362_CR25","doi-asserted-by":"crossref","unstructured":"Fitting, M. (1990). First-order logic. In First-order logic and automated theorem proving, Texts and Monographs in Computer Science. Springer US, pp. 97\u2013125.","DOI":"10.1007\/978-1-4684-0357-2_5"},{"key":"9362_CR26","doi-asserted-by":"crossref","unstructured":"Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.\u00a0A., & Vasconcelos, W.\u00a0W. (2007). Distributed norm management in regulated multiagent systems. In Proceedings of the 6th international joint conference on autonomous agents and multiagent systems, AAMAS \u201907 (pp. 90:1\u201390:8). New York, NY: ACM.","DOI":"10.1145\/1329125.1329235"},{"key":"9362_CR27","volume-title":"Neural-symbolic learning systems: Foundations and applications","author":"AD Garcez","year":"2012","unstructured":"Garcez, A. D., Broda, K., & Gabbay, D. M. (2012). Neural-symbolic learning systems: Foundations and applications. Berlin: Springer Science & Business Media."},{"issue":"6","key":"9362_CR28","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1016\/j.scico.2011.10.009","volume":"78","author":"E Garcia","year":"2013","unstructured":"Garcia, E., Giret, A., & Botti, V. (2013). A model-driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming, 78(6), 695\u2013704.","journal-title":"Science of Computer Programming"},{"key":"9362_CR29","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., & Rodr\u00edguez-Aguilar, J.\u00a0A. (2005). Implementing norms in electronic institutions. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems. ACM, pp. 667\u2013673.","DOI":"10.1145\/1082473.1082575"},{"key":"9362_CR30","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Camino, A., Noriega, P., & Rodr\u00edguez-Aguilar, J.\u00a0A. (2007). An algorithm for conflict resolution in regulated compound activities. In G. O\u2019Hare, A. Ricci, M. O\u2019Grady, & O. Dikenelli, (Eds), Engineering societies in the agents world VII, volume 4457 of Lecture notes in computer science (pp. 193\u2013208). Berlin: Springer.","DOI":"10.1007\/978-3-540-75524-1_11"},{"issue":"3\u20134","key":"9362_CR31","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3\u20134), 365\u2013385.","journal-title":"New Generation Computing"},{"key":"9362_CR32","unstructured":"Giannikis, G.\u00a0K., & Daskalopulu, A. (2009). Normative conflicts-patterns, detection and resolution. In WEBIST, pp. 527\u2013532."},{"issue":"2","key":"9362_CR33","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.elerap.2010.09.005","volume":"10","author":"GK Giannikis","year":"2011","unstructured":"Giannikis, G. K., & Daskalopulu, A. (2011). Normative conflicts in electronic contracts. Electronic Commerce Research and Applications, 10(2), 247\u2013267.","journal-title":"Electronic Commerce Research and Applications"},{"key":"9362_CR34","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-1-4419-6984-2_7","volume-title":"Specification and verification of multi-agent systems","author":"D Grossi","year":"2010","unstructured":"Grossi, D., Gabbay, D., & van der Torre, L. (2010). The norm implementation problem in normative multi-agent systems. In M. Dastani, K. V. Hindriks, & J.-J. C. Meyer (Eds.), Specification and verification of multi-agent systems (pp. 195\u2013224). New York: Springer."},{"key":"9362_CR35","unstructured":"G\u00fcnay, A., & Yolum, P. (2013b). Engineering conflict-free multiagent systems. In First international workshop on engineering multiagent systems (EMAS)."},{"issue":"3","key":"9362_CR36","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10489-013-0428-6","volume":"39","author":"A G\u00fcnay","year":"2013","unstructured":"G\u00fcnay, A., & Yolum, P. (2013a). Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments. Applied Intelligence, 39(3), 489\u2013509.","journal-title":"Applied Intelligence"},{"issue":"2","key":"9362_CR37","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF00145430","volume":"6","author":"H Hill","year":"1987","unstructured":"Hill, H. (1987). A functional taxonomy of normative conflict. Law and Philosophy, 6(2), 227\u2013247.","journal-title":"Law and Philosophy"},{"key":"9362_CR38","volume-title":"The SPIN model checker: Primer and reference manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann, G. J. (2004). The SPIN model checker: Primer and reference manual (Vol. 1003). Reading: Addison-Wesley."},{"key":"9362_CR39","doi-asserted-by":"crossref","unstructured":"Kagal, L., & Finin, T. (2005). Modeling communicative behavior using permissions and obligations. In R. van Eijk, M.-P. Huget, & F. Dignum (Eds.), Agent communication, volume 3396 of Lecture notes in computer science (pp. 120\u2013133). Berlin: Springer.","DOI":"10.1007\/978-3-540-32258-0_9"},{"issue":"2","key":"9362_CR40","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s10458-006-0013-z","volume":"14","author":"L Kagal","year":"2007","unstructured":"Kagal, L., & Finin, T. (2007). Modeling conversation policies using permissions and obligations. Autonomous Agents and Multi-Agent Systems, 14(2), 187\u2013206.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"8","key":"9362_CR41","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/2788477","volume":"58","author":"K Kirkpatrick","year":"2015","unstructured":"Kirkpatrick, K. (2015). The moral challenges of driverless cars. Communications of the ACM, 58(8), 19\u201320.","journal-title":"Communications of the ACM"},{"key":"9362_CR42","unstructured":"Kollingbaum, M.\u00a0J. (2005). Norm-governed practical reasoning agents. PhD thesis, University of Aberdeen."},{"key":"9362_CR43","unstructured":"Kollingbaum, M.\u00a0J., & Norman, T.\u00a0J. (2004). Strategies for resolving norm conflict in practical reasoning. In ECAI workshop coordination in emergent agent societies (Vol. 2004)."},{"key":"9362_CR44","doi-asserted-by":"crossref","unstructured":"Kollingbaum, M.\u00a0J., & Norman, T.\u00a0J. (2006). Informed deliberation during norm-governed practical reasoning. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman, & J. V\u00e1zquez-Salceda (Eds.), Coordination, organizations, institutions, and norms in multi-agent systems, volume 3913 of Lecture notes in computer science (pp. 183\u2013197). Berlin: Springer.","DOI":"10.1007\/11775331_13"},{"key":"9362_CR45","unstructured":"Kollingbaum, M.\u00a0J., Norman, T.\u00a0J., Preece, A., & Sleeman, D. (2006). Norm refinement: Informing the re-negotiation of contracts. In ECAI 2006 workshop on coordination, organization, institutions and norms in agent systems, COIN@ ECAI (Vol. 2006), pp. 46\u201351."},{"key":"9362_CR46","doi-asserted-by":"crossref","unstructured":"Kollingbaum, M.\u00a0J., Norman, T.\u00a0J., Preece, A., & Sleeman, D. (2007). Norm conflicts and inconsistencies in virtual organisations. In P. Noriega, J. V\u00e1zquez-Salceda, G. Boella, O. Boissier, V. Dignum, N. Fornara, & E. Matson (Eds.), Coordination, organizations, institutions, and norms in agent systems II, volume 4386 of Lecture notes in computer science (pp. 245\u2013258). Berlin: Springer.","DOI":"10.1007\/978-3-540-74459-7_16"},{"key":"9362_CR47","doi-asserted-by":"crossref","unstructured":"Kollingbaum, M.\u00a0J., Vasconcelos, W.\u00a0W., Garc\u00eda-Camino, A., & Norman, T.\u00a0J. (2008a). Managing conflict resolution in norm-regulated environments. In A. Artikis, G. O\u2019Hare, K. Stathis, G. Vouros (Eds.), Engineering Societies in the Agents World VIII, volume 4995 of Lecture Notes in Computer Science (pp. 55\u201371). Berlin: Springer.","DOI":"10.1007\/978-3-540-87654-0_2"},{"key":"9362_CR48","doi-asserted-by":"crossref","unstructured":"Kollingbaum, M.\u00a0J., Vasconcelos, W.\u00a0W., Garc\u00eda-Camino, A., & Norman, T.\u00a0J. (2008b). Conflict resolution in norm-regulated environments via unification and constraints. In M. Baldoni, T. Son, M. van Riemsdijk, & M. Winikoff (Eds.), Declarative agent languages and technologies V, volume 4897 of Lecture Notes in computer science (pp. 158\u2013174). Berlin: Springer.","DOI":"10.1007\/978-3-540-77564-5_10"},{"key":"9362_CR49","doi-asserted-by":"crossref","unstructured":"Kyas, M., Prisacariu, C., & Schneider, G. (2008). Run-time monitoring of electronic contracts. In S. Cha, J.-Y. Choi, M. Kim, I. Lee, & M. Viswanathan (Eds.), Automated technology for verification and analysis, volume 5311 of Lecture notes in computer science (pp. 397\u2013407). Berlin: Springer.","DOI":"10.1007\/978-3-540-88387-6_34"},{"key":"9362_CR50","unstructured":"Li, T. (2013). Normative conflict detection and resolution in cooperating institutions. In Proceedings of the twenty-third international joint conference on artificial intelligence (pp. 3231\u20133232). AAAI Press."},{"key":"9362_CR51","unstructured":"Li, T. (2014). Normative conflict detection and resolution in cooperating institutions. PhD thesis, University of Bath."},{"key":"9362_CR52","doi-asserted-by":"crossref","unstructured":"Li, T., Jiang, J., Aldewereld, H., De\u00a0Vos, M., Dignum, V., & Padget, J. (2014). Contextualized institutions in virtual organizations. In T. Balke, F. Dignum, van M.\u00a0B. Riemsdijk, & A.\u00a0K. Chopra (Eds.), Coordination, organizations, institutions, and norms in agent systems IX, volume 8386 of Lecture notes in computer science (pp. 136\u2013154). Springer International Publishing.","DOI":"10.1007\/978-3-319-14220-3_8"},{"issue":"4","key":"9362_CR53","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D Makinson","year":"2000","unstructured":"Makinson, D., & van der Torre, L. (2000). Input\/output logics. Journal of Philosophical Logic, 29(4), 383\u2013408.","journal-title":"Journal of Philosophical Logic"},{"key":"9362_CR54","doi-asserted-by":"crossref","unstructured":"McNamara, P. (2006). Deontic logic. In Logic and the modalities in the twentieth century (Vol. 7). North-Holland.","DOI":"10.1016\/S1874-5857(06)80029-4"},{"key":"9362_CR55","unstructured":"Meneguzzi, F., & Luck, M. (2009). Norm-based behaviour modification in BDI agents. In Proceedings of The 8th international conference on autonomous agents and multiagent systems\u2014Volume 1 (pp. 177\u2013184). International foundation for autonomous agents and multiagent systems."},{"key":"9362_CR56","unstructured":"Meyer, J.-J. C., & Wieringa, R. (1993). Applications of deontic logic: A concise overview. In J.-J. Ch. Meyer & R. J. Wieringa (Eds.), Deontic logic in computer science: Normative system specification (pp. 3\u201316). Chichester: Wiley."},{"key":"9362_CR57","volume-title":"Deontic logic in computer science: Normative system specification","author":"J-JC Meyer","year":"1994","unstructured":"Meyer, J.-J. C., & Wieringa, R. J. (1994). Deontic logic in computer science: Normative system specification. New York: Wiley."},{"key":"9362_CR58","unstructured":"Oren, N., Luck, M., Miles, S., & Norman, T.\u00a0J. (2008). An argumentation inspired heuristic for resolving normative conflict. In 5th international workshop on coordination, organisations, institutions and norms in agent systems (COIN@AAMAS 2008)."},{"key":"9362_CR59","unstructured":"Parsia, B., & Sirin, E. (2004). Pellet: An OWL DL reasoner. In Third international semantic web conference-poster (Vol.\u00a018)."},{"key":"9362_CR60","doi-asserted-by":"crossref","unstructured":"Prisacariu, C., & Schneider, G. (2007). A formal language for electronic contracts. In M.\u00a0M. Bonsangue, & E. Johnsen (Eds.) Formal methods for open object-based distributed systems, volume 4468 of Lecture notes in computer science (pp. 174\u2013189). Berlin: Springer.","DOI":"10.1007\/978-3-540-72952-5_11"},{"issue":"1","key":"9362_CR61","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter, R. (1980). A logic for default reasoning. Artificial intelligence, 13(1), 81\u2013132.","journal-title":"Artificial intelligence"},{"key":"9362_CR62","volume-title":"Artificial intelligence: A modern approach","author":"S Russell","year":"2009","unstructured":"Russell, S., & Norvig, P. (2009). Artificial intelligence: A modern approach (3rd ed.). Upper Saddle River: Prentice Hall.","edition":"3"},{"key":"9362_CR63","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173438","volume-title":"Speech acts: An essay in the philosophy of language","author":"JR Searle","year":"1969","unstructured":"Searle, J. R. (1969). Speech acts: An essay in the philosophy of language (Vol. 626). Cambridge: Cambridge University Press."},{"key":"9362_CR64","unstructured":"\u015eensoy, M., Norman, T.\u00a0J., Vasconcelos, W.\u00a0W., & Sycara, K. (2010). OWL-POLAR: Semantic policies for agent reasoning. In Patel-Schneider, P., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J., Horrocks, I., & Glimm, B. (Eds), The semantic web\u2014ISWC 2010, volume 6496 of Lecture notes in computer science (pp. 679\u2013695). Berlin: Springer."},{"key":"9362_CR65","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.websem.2011.11.005","volume":"12\u201313","author":"M \u015eensoy","year":"2012","unstructured":"\u015eensoy, M., Norman, T. J., Vasconcelos, W. W., & Sycara, K. (2012). OWL-POLAR: A framework for semantic policy representation and reasoning. Web Semantics: Science, Services and Agents on the World Wide Web, 12\u201313, 148\u2013160.","journal-title":"Web Semantics: Science, Services and Agents on the World Wide Web"},{"issue":"4","key":"9362_CR66","first-page":"33","volume":"4","author":"C Sierra","year":"2004","unstructured":"Sierra, C., Rodriguez-Aguilar, J. A., Noriega, P., Esteva, M., & Arcos, J. L. (2004). Engineering multi-agent systems as electronic institutions. European Journal for the Informatics Professional, 4(4), 33\u201339.","journal-title":"European Journal for the Informatics Professional"},{"issue":"12","key":"9362_CR67","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/2839512","volume":"58","author":"MY Vardi","year":"2015","unstructured":"Vardi, M. Y. (2015). On lethal autonomous weapons. Communications of the ACM, 58(12), 5\u20135.","journal-title":"Communications of the ACM"},{"key":"9362_CR68","unstructured":"Vasconcelos, W.\u00a0W., & Norman, T.\u00a0J. (2009). Contract formation through preemptive normative conflict resolution. In Proceedings of the 2009 conference on artificial intelligence research and development: Proceedings of the 12th international conference of the catalan association for artificial intelligence (pp. 179\u2013188). Amsterdam: IOS Press."},{"key":"9362_CR69","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W.\u00a0W., Kollingbaum, M.\u00a0J., & Norman, T.\u00a0J. (2007b). Resolving conflict and inconsistency in norm-regulated virtual organizations. In Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems. ACM, p.\u00a091.","DOI":"10.1145\/1329125.1329236"},{"key":"9362_CR70","unstructured":"Vasconcelos, W.\u00a0W., Kollingbaum, M.\u00a0J., Garc\u00eda-Camino, A., & Norman, T.\u00a0J. (2007a). Achieving conflict freedom in norm-based societies. In Workshop on coordination, organizations, institutions, and norms in agent systems. Citeseer."},{"issue":"2","key":"9362_CR71","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s10458-008-9070-9","volume":"19","author":"WW Vasconcelos","year":"2009","unstructured":"Vasconcelos, W. W., Kollingbaum, M. J., & Norman, T. J. (2009). Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems, 19(2), 124\u2013152.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"5","key":"9362_CR72","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. (2012). Distributed norm management for multi-agent systems. Expert Systems with Applications, 39(5), 5990\u20135999.","journal-title":"Expert Systems with Applications"},{"key":"9362_CR73","doi-asserted-by":"crossref","unstructured":"von Wright, G. H. (1951). Deontic logic. Mind, 60(237), 1\u201315.","DOI":"10.1093\/mind\/LX.237.1"},{"key":"9362_CR74","volume-title":"Multiagent systems: A modern approach to distributed artificial intelligence","author":"G Weiss","year":"1999","unstructured":"Weiss, G. (1999). Multiagent systems: A modern approach to distributed artificial intelligence. Cambridge: MIT Press."},{"key":"9362_CR75","volume-title":"An introduction to multiagent systems","author":"MJ Wooldridge","year":"2009","unstructured":"Wooldridge, M. J. (2009). An introduction to multiagent systems (2nd ed.). New York: Wiley.","edition":"2"},{"key":"9362_CR76","unstructured":"Zahn, J.\u00a0O. (2015). Um Mecanismo de Verifica\u00e7\u00e3o de Conflitos Normativos Indiretos. Master\u2019s thesis, Instituto de Computa\u00e7\u00e3o - Universidade Federal Fluminense (IC\/UFF), Niteroi, Brasil."},{"key":"9362_CR77","doi-asserted-by":"crossref","unstructured":"Zahn, J.\u00a0O., & da\u00a0Silva, V.\u00a0T. (2014). On the checking of indirect normative conflicts. In Workshop Escola de Sistemas de Agentes, seus Ambientes e aplica\u00e7\u00f5es, 2014, Porto Alegre. Anais do Workshop-Escola de Sistemas de Agentes, seus Ambientes e aplica\u00e7\u00f5es, pp. 13\u201324.","DOI":"10.5753\/wesaac.2014.33280"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-017-9362-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9362-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-017-9362-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:15:56Z","timestamp":1750191356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-017-9362-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,1]]},"references-count":77,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,11]]}},"alternative-id":["9362"],"URL":"https:\/\/doi.org\/10.1007\/s10458-017-9362-z","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,1]]}}}