{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:46Z","timestamp":1725558946674},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_9","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T07:04:12Z","timestamp":1278313452000},"page":"98-115","source":"Crossref","is-referenced-by-count":8,"title":["Relevance, Derogation and Permission"],"prefix":"10.1007","author":[{"given":"Audun","family":"Stolpe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-70525-3_9","volume-title":"Deontic Logic in Computer Science","author":"M. Abadi","year":"2008","unstructured":"Abadi, M.: Variations in access control logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 96\u2013109. Springer, Heidelberg (2008)"},{"key":"9_CR2","volume-title":"New Studies in Deontic Logic","author":"C.E. Alchourron","year":"1981","unstructured":"Alchourron, C.E., Bulygin, E.: The expressive conception of norms. In: Hilpinen (ed.) New Studies in Deontic Logic. D. Rediel Publishing Company, Dordrecht (1981)"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourron","year":"1985","unstructured":"Alchourron, C.E., G\u00e4rdenfors, P., Makinson, D.C.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic\u00a050(2), 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Boella, G., van der Torre, L.: Institutions with a hieararchy of authorities in distributed dynamic environments. Artificial Intelligence in Law\u00a016(1) (2008)","DOI":"10.1007\/s10506-007-9059-8"},{"key":"9_CR5","unstructured":"Boella, G., Pigozzi, G., van der Torre, L.: Normative framework for normative system change. In: AAMAS, vol.\u00a0(1), pp. 169\u2013176 (2009)"},{"key":"9_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised Normative Positions In Defeasible Logic. In: Proceedings of the International Conference on Artificial Intelligence and Law, pp. 25\u201334 (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants Of Temporal Defeasible Logic For Modelling Norm Modifications. In: ICAIL 2007, pp. 155\u2013159 (2007)","DOI":"10.1145\/1276318.1276347"},{"key":"9_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-70525-3_2","volume-title":"Deontic Logic in Computer Science","author":"G. Governatori","year":"2008","unstructured":"Governatori, G., Rotolo, A.: Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 3\u201318. Springer, Heidelberg (2008)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1004748624537","volume":"29","author":"D.C. Makinson","year":"2000","unstructured":"Makinson, D.C., van der Torre, L.: Input\/output logics. Journal of Philosophical Logic\u00a029, 383\u2013408 (2000)","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1017599526096","volume":"30","author":"D.C. Makinson","year":"2001","unstructured":"Makinson, D.C., van der Torre, L.: Constraints for input\/output logics. Journal of Philosophical Logic\u00a030, 155\u2013185 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR12","first-page":"163","volume":"17","author":"D.C. Makinson","year":"2003","unstructured":"Makinson, D.C., van der Torre, L.: What is input\/output logic. Applications of Mathematical Logic in Philosophy and Linguistics\u00a017, 163\u2013174 (2003)","journal-title":"Applications of Mathematical Logic in Philosophy and Linguistics"},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1024806529939","volume":"32","author":"D.C. Makinson","year":"2003","unstructured":"Makinson, D.C., van der Torre, L.: Permission from an input\/output perspective. Journal of Philosophical Logic\u00a032(4), 391\u2013416 (2003)","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-7643-8354-1_11","volume-title":"Logica Universalis","author":"D.C. Makinson","year":"2007","unstructured":"Makinson, D.C.: Friendliness and sympathy in logic. In: Beziau, J.-Y. (ed.) Logica Universalis, 2nd edn., pp. 195\u2013224. Birkhauser Verlag, Basel (2007)","edition":"2"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"994","DOI":"10.2178\/jsl\/1191333851","volume":"72","author":"D.C. Makinson","year":"2007","unstructured":"Makinson, D.C., Kourousias, G.: Parallel interpolation, splitting, and relevance in belief change. Journal of Symbolic Logic\u00a072(3), 994\u20131002 (2007)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jal.2008.12.001","volume":"7","author":"D.C. Makinson","year":"2009","unstructured":"Makinson, D.C.: Propositional relevance through letter-sharing. Journal of Applied Logic\u00a07, 377\u2013387 (2009)","journal-title":"Journal of Applied Logic"},{"key":"9_CR17","first-page":"266","volume-title":"Logic, Language, and Computation","author":"R. Parikh","year":"1999","unstructured":"Parikh, R.: Beliefs, belief revision, and splitting languages. In: Moss, L., Ginzburg, J., de Rijke, M. (eds.) Logic, Language, and Computation, vol.\u00a096, pp. 266\u2013278. CSLI Publications, Stanford (1999)"},{"key":"9_CR18","unstructured":"Stolpe, A.: Norms and Norm-System Dynamics. PhD thesis. Department of Philosophy, University of Bergen, Norway (2008)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.jal.2010.01.001","volume":"8","author":"A. Stolpe","year":"2010","unstructured":"Stolpe, A.: A theory of permission based on the notion of derogation. Journal of Applied Logic\u00a08, 97\u2013113 (2010)","journal-title":"Journal of Applied Logic"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Weitzner, D.J., Abelson, H., Berners-Lee, T., Feigenbaum, J., Hendler, J., Sussman, G.J.: Information accountability. Communications of the ACM\u00a051(6) (2008)","DOI":"10.1145\/1349026.1349043"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14183-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:36:41Z","timestamp":1578519401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_9"}},"subtitle":["A Case for a Normal Form for Codes of Norms"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}