{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:17:09Z","timestamp":1740097029330,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319086149"},{"type":"electronic","value":"9783319086156"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08615-6_6","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T23:01:29Z","timestamp":1404169289000},"page":"65-80","source":"Crossref","is-referenced-by-count":1,"title":["Detecting Deontic Conflicts in Dynamic Settings"],"prefix":"10.1007","author":[{"given":"Silvano","family":"Colombo Tosatto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Kelsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log.\u00a050(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Beirlaen, M., Stra\u00dfer, C.: A paraconsistent multi-agent framework for dealing with normative conflicts. In: Leite, et al. (eds.) [15], pp. 312\u2013329","DOI":"10.1007\/978-3-642-22359-4_22"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10992-011-9221-3","volume":"42","author":"M. Beirlaen","year":"2013","unstructured":"Beirlaen, M., Stra\u00dfer, C., Meheus, J.: An inconsistency-adaptive deontic logic for normative conflicts. J. Philosophical Logic\u00a042(2), 285\u2013315 (2013)","journal-title":"J. Philosophical Logic"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.W.N.: Permissions and obligations in hierarchical normative systems. In: ICAIL, pp. 109\u2013118 (2003)","DOI":"10.1145\/1047788.1047818"},{"key":"6_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","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., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-540-25927-5_5"},{"key":"6_CR6","unstructured":"Elhag, A.A., Breuker, J.A., Brouwer, B.W.: On the formal analysis of normative conflicts. In: van den Herik, H., et al. (eds.) JURIX 1999: The Twelfth Annual Conference, GNI, Nijmegen. Frontiers in Artificial Intelligence and Applications, pp. 35\u201346 (1999)"},{"key":"6_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"issue":"6","key":"6_CR8","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G. Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic\u00a042(6), 799\u2013829 (2013)","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR9","unstructured":"Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: Link, S., Ghose, A. (eds.) 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), January 18-21. CRPIT, vol.\u00a0110, pp. 3\u201312. ACS (2010), \n                  \n                    http:\/\/crpit.com\/confpapers\/CRPITV110Governatori.pdf"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, et al. (eds.) [15], pp. 364\u2013382","DOI":"10.1007\/978-3-642-22359-4_25"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.26686\/ajl.v4i0.1780","volume":"4","author":"G. Governatori","year":"2006","unstructured":"Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. The Australasian Journal of Logic\u00a04, 193\u2013215 (2006), \n                  \n                    http:\/\/www.philosophy.unimelb.edu.au\/ajl\/2006\/","journal-title":"The Australasian Journal of Logic"},{"key":"6_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-540-25927-5_10","volume-title":"Deontic Logic in Computer Science","author":"J. Hansen","year":"2004","unstructured":"Hansen, J.: Conflicting imperatives and dyadic deontic logic. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 146\u2013164. Springer, Heidelberg (2004)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Hansen, J.: Reasoning About Permission and Obligation. In: Hansson, S.O., Wansing (eds.) [24] (2014)","DOI":"10.1007\/978-94-007-7759-0_14"},{"key":"6_CR14","unstructured":"Hilpinen, R., McNamara, P.: Deontic logic: a historical survey and introduction. In: Gabbay, D., Horty, J., van der Meyden, R., Parent, X., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems. College Publications (2013)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Computational Logic in Multi-Agent Systems","year":"2011","unstructured":"Leite, J., Torroni, P., \u00c5gotnes, T., Boella, G., van der Torre, L. (eds.): CLIMA XII 2011. LNCS, vol.\u00a06814. Springer, Heidelberg (2011)"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.2307\/2182983","volume":"71","author":"E.J. Lemmon","year":"1962","unstructured":"Lemmon, E.J.: Moral dilemmas. The Philosophical Review\u00a071(2), 139\u2013158 (1962)","journal-title":"The Philosophical Review"},{"key":"6_CR17","unstructured":"Lomuscio, A., Sergot, M.: Violation, error recovery, and enforcement in the bit transmission problem. In: Horty, J., Jones, A.J.I. (eds.) Proceedings of the 6th International Workshop on Deontic Logic in Computer Science (DEON 2002), London, England, May 22-24, pp. 181\u2013202. Imperial College London, Informal Proceedings (2002)"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D. Makinson","year":"2003","unstructured":"Makinson, D., van der Torre, L.: Permission from an input\/output perspective. J. Philosophical Logic\u00a032(4), 391\u2013416 (2003)","journal-title":"J. Philosophical Logic"},{"key":"6_CR19","volume-title":"Normative Multi-agent Systems. Dagstuhl Seminar Proceedings","author":"D. Makinson","year":"2007","unstructured":"Makinson, D., van der Torre, L.W.N.: What is input\/output logic? input\/output logic, constraints, permissions. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol.\u00a007122. Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany (2007)"},{"issue":"3-4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00118496","volume":"4","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law\u00a04(3-4), 331\u2013368 (1996)","journal-title":"Artif. Intell. Law"},{"issue":"2-3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BF00114921","volume":"1","author":"G. Sartor","year":"1992","unstructured":"Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law\u00a01(2-3), 209\u2013235 (1992)","journal-title":"Artificial Intelligence and Law"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-011-9953-1","volume":"185","author":"K. Segerberg","year":"2012","unstructured":"Segerberg, K.: D\u0394L: a dynamic deontic logic. Synthese\u00a0185, 1\u201317 (2012)","journal-title":"Synthese"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Stolpe, A.: Abstract Interfaces of Input\/Output Logic. In: Hansson, S.O., Wansing (eds.) [24] (2014)","DOI":"10.1007\/978-94-007-7759-0_12"},{"key":"6_CR24","volume-title":"Outstanding Contributions to Logic","author":"S.O. Hansson","year":"2014","unstructured":"Hansson, S.O., Kracht, M., Smets, L.M.S.: Outstanding Contributions to Logic. Springer, Dordrecht (2014)"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s10458-008-9070-9","volume":"19","author":"W. Vasconcelos","year":"2009","unstructured":"Vasconcelos, W., Kollingbaum, M., Norman, T.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems\u00a019(2), 124\u2013152 (2009), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/s10458-008-9070-9","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"237","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright Von","year":"1951","unstructured":"Von Wright, G.H.: Deontic logic. Mind\u00a060(237), 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic and Normative Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08615-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:22:31Z","timestamp":1558920151000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08615-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319086149","9783319086156"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08615-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}