{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T20:59:07Z","timestamp":1789678747827,"version":"4.0.1"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319073132","type":"print"},{"value":"9783319073149","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07314-9_14","type":"book-chapter","created":{"date-parts":[[2014,6,3]],"date-time":"2014-06-03T14:35:44Z","timestamp":1401806144000},"page":"259-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Algorithm to Identify Conflicts Between Norms and Values"],"prefix":"10.1007","author":[{"given":"Karen","family":"da Silva Figueiredo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viviane Torres","family":"da Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,6,4]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1146\/annurev.an.03.100174.000445","volume":"3","author":"RM Keesing","year":"1974","unstructured":"Keesing, R.M.: Theories of culture. Ann. Rev. Anthropol. 3, 73\u201397 (1974)","journal-title":"Ann. Rev. Anthropol."},{"key":"14_CR2","unstructured":"Linton, R.: The Tree of Culture. Knopf, New York (1955)"},{"issue":"3","key":"14_CR3","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1037\/0022-3514.53.3.550","volume":"53","author":"S Schwartz","year":"1987","unstructured":"Schwartz, S., Bilsky, W.: Toward a universal psychological structure of human values. J. Pers. Soc. Psychol. 53(3), 550\u2013562 (1987)","journal-title":"J. Pers. Soc. Psychol."},{"key":"14_CR4","unstructured":"Figueiredo, K.: Modeling and validating norms in multi-agent systems. Master\u2019s Thesis, Universidade Federal Fluminense, Instituto de Computa\u00e7\u00e3o (2011)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-77564-5_10","volume-title":"Declarative Agent Languages and Technologies V","author":"MJ Kollingbaum","year":"2008","unstructured":"Kollingbaum, M.J., Vasconcelos, W.W., Garc\u00eda-Camino, A., Norman, T.J.: Conflict resolution in norm-regulated environments via unification and constraints. In: Baldoni, M., Son, T.C., van Riemsdijk, M., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 158\u2013174. Springer, Heidelberg (2008)"},{"key":"14_CR6","unstructured":"Oren, N., Luck, M., Miles, S., Norman, T.J.: An argumentation inspired heuristic for resolving normative conflicts. In: Proceedings of the International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@AAMAS 2008), pp. 41\u201356. Estoril, Portugal (2008)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Vasconcelos, W., Kollingbaum, M., Norman, T.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, ACM (2007)","DOI":"10.1145\/1329125.1329236"},{"issue":"2","key":"14_CR8","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10458-006-0013-z","volume":"14","author":"L Kagal","year":"2007","unstructured":"Kagal, L., Finin, T.: Modeling conversation policies using permissions and obligations. Auton. Agent. Multi-Agent Syst. 14(2), 187\u2013206 (2007)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-34459-6_16","volume-title":"Advances in Artificial Intelligence - SBIA 2012","author":"BF dos Santos Neto","year":"2012","unstructured":"dos Santos Neto, B.F., da Silva, V.T., de Lucena, C.J.: An architectural model for autonomous normative agents. In: Barros, L.N., Finger, M., Pozo, A.T., Gimen\u00e9nez-Lugo, G.A., Castilho, M. (eds.) SBIA 2012. LNCS, vol. 7589, pp. 152\u2013161. Springer, Heidelberg (2012)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial IntelIigence)","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/978-3-319-07314-9_17","volume-title":"COIN 2013","author":"VT da Silva","year":"2014","unstructured":"da Silva, V.T., Zahn, J.: Normative conflicts that depend on the domain. In: Balke, T., Dignum, F., van Riemsdijk, M.B., Chopra, A.K. (eds.) COIN 2013. LNCS (LNAI), vol. 8386, pp. 311\u2013326. Springer, Heidelberg (2014)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s10506-012-9128-5","volume":"21","author":"F Dechesne","year":"2013","unstructured":"Dechesne, F., Di Tosto, G., Dignum, V., Dignum, F.: No smoking here: values, norms and culture in multi-agent systems. Artif. Intell. Law 21(1), 79\u2013107 (2013)","journal-title":"Artif. Intell. Law"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-00207-6_2","volume-title":"Argumentation in Multi-Agent Systems","author":"S Modgil","year":"2009","unstructured":"Modgil, S., Luck, M.: Argumentation based resolution of conflicts between desires and normative goals. In: Rahwan, I., Moraitis, P. (eds.) ArgMAS 2008. LNCS, vol. 5384, pp. 19\u201336. Springer, Heidelberg (2009)"},{"key":"14_CR13","unstructured":"Toniolo, A., Norman, T., Sycara, K.: An empirical study of argumentation schemes for deliberative dialogue. In: ECAI (2012), pp. 756\u2013761 (2012)"},{"issue":"1","key":"14_CR14","first-page":"1","volume":"25","author":"S Schwartz","year":"1992","unstructured":"Schwartz, S.: Universals in the content and structure of values: theoretical advances and empirical tests in 20 countries. Adv. Exp. Soc. Psychol. 25(1), 1\u201365 (1992)","journal-title":"Adv. Exp. Soc. Psychol."},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1207\/S15327957PSPR0403_4","volume":"4","author":"M Rohan","year":"2000","unstructured":"Rohan, M.: A rose by any name? The values construct. Pers. Soc. Psychol. Rev. 4(3), 255\u2013277 (2000)","journal-title":"Pers. Soc. Psychol. Rev."},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-642-12805-9_5","volume-title":"Argumentation in Multi-Agent Systems","author":"TL van der Weide","year":"2010","unstructured":"van der Weide, T.L., Dignum, F., Meyer, J.-J.C., Prakken, H., Vreeswijk, G.A.W.: Practical reasoning using values. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS, vol. 6057, pp. 79\u201393. Springer, Heidelberg (2010)"},{"key":"14_CR17","volume-title":"The Nature of Human Values","author":"M Rokeach","year":"1979","unstructured":"Rokeach, M.: The Nature of Human Values. Free Press, NY (1979)"},{"key":"14_CR18","unstructured":"Antunes, L.: Towards a model for value-based motivated agents. In: Proceedings of MASTA97 (1997)"},{"key":"14_CR19","volume-title":"Cultures and Organizations","author":"G Hofstede","year":"1991","unstructured":"Hofstede, G., Hofstede, G., Minkov, M.: Cultures and Organizations. McGraw-Hill, London (1991)"},{"key":"14_CR20","unstructured":"Hayes, I., Flinn, B.: Specification Case Studies. Prentice Hall Professional Technical Reference, Uk (1992)"},{"key":"14_CR21","volume-title":"Understanding Z: A Specification Language and Its Formal Semantics","author":"JM Spivey","year":"1988","unstructured":"Spivey, J.M.: Understanding Z: A Specification Language and Its Formal Semantics. Cambridge University Press, New York (1988)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Craigen, D., Gerhart, S.L., Ralston, T.: An international survey of industrial applications of formal methods. In: Proceedings of the Z User Workshop, pp. 1\u20135. Springer, London (1992)","DOI":"10.1007\/978-1-4471-3556-2_1"},{"issue":"5\u20136","key":"14_CR23","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/0920-5489(95)00017-O","volume":"17","author":"CD Wezeman","year":"1995","unstructured":"Wezeman, C.D.: Using Z for network modelling: an industrial experience report. Comput. Stand. Interfaces 17(5\u20136), 631\u2013638 (1995)","journal-title":"Comput. Stand. Interfaces"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BFb0026757","volume-title":"Intelligent Agents IV Agent Theories, Architectures, and Languages","author":"M D\u2019Inverno","year":"1998","unstructured":"D\u2019Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Singh, M.P., Rao, A., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol. 1365, pp. 155\u2013176. Springer, Heidelberg (1998)"},{"key":"14_CR25","unstructured":"Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press, London (1996)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","first-page":"37","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"MA Hewitt","year":"1997","unstructured":"Hewitt, M.A., O\u2019Halloran, C., Sennett, C.T.: Experiences with PiZA, an animator for Z. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 37\u201351. Springer, Heidelberg (1997)"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M Saaltink","year":"1997","unstructured":"Saaltink, M.: The Z\/EVES system. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol. 1212, pp. 72\u201385. Springer, Heidelberg (1997)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-75524-1_11","volume-title":"Engineering Societies in the Agents World VII","author":"A Garc\u00eda-Camino","year":"2007","unstructured":"Garc\u00eda-Camino, A., Noriega, P., Rodr\u00edguez-Aguilar, J.-A.: An algorithm for conflict resolution in regulated compound activities. In: O\u2019Hare, G.M., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 193\u2013208. Springer, Heidelberg (2007)"},{"issue":"2","key":"14_CR29","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s11229-005-3488-2","volume":"152","author":"K Atkinson","year":"2006","unstructured":"Atkinson, K., Bench-Capon, T., McBurney, P.: Computational representation of practical argument. Synthese 152(2), 157\u2013206 (2006)","journal-title":"Synthese"},{"key":"14_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-44631-1_20","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"L Antunes","year":"2001","unstructured":"Antunes, L., Faria, J.C., Coelho, H.: Improving choice mechanisms within the BVG architecture. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 290\u2013304. Springer, Heidelberg (2001)"},{"key":"14_CR31","unstructured":"Di Tosto, G.: Using values in normative multi-agent systems. Dagstuhl Seminar 12111, Dagstuhl Reports, vol. 2, no. 3 (2012)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-14183-6_16","volume-title":"Deontic Logic in Computer Science","author":"B Burgemeestre","year":"2010","unstructured":"Burgemeestre, B., Hulstijn, J., Tan, Y.-H.: Value-based argumentation for justifying compliance. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 214\u2013228. Springer, Heidelberg (2010)"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"McBreen, J., Di Tosto, G., Dignum, F., Hofstede, G.: Linking norms and culture. In: 2011 Second International Conference on Culture and Computing (Culture Computing), pp. 9\u201314. IEEE (2011)","DOI":"10.1109\/Culture-Computing.2011.11"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems IX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07314-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T03:49:22Z","timestamp":1703216962000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07314-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319073132","9783319073149"],"references-count":33,"aliases":["10.1007\/978-3-319-14220-3_14"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07314-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"4 June 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}