{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T23:10:02Z","timestamp":1748646602538,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195742"},{"type":"electronic","value":"9783319195759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19575-9_12","type":"book-chapter","created":{"date-parts":[[2015,10,5]],"date-time":"2015-10-05T15:35:32Z","timestamp":1444059332000},"page":"323-356","source":"Crossref","is-referenced-by-count":4,"title":["Logics for Legal Dynamics"],"prefix":"10.1007","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, Carlos E., and Eugenio Bulygin. 1981. The expressive conception of norms. In New studies in deontic logic, ed. Risto Hilpinen, 95\u2013125. Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-009-8484-4_4"},{"key":"12_CR2","volume-title":"Permission and permissive norms","author":"C. Alchourr\u00f3n","year":"1984","unstructured":"Alchourr\u00f3n, C., and E. Bulygin. 1984. Permission and permissive norms. Berlin: Duncker & Humblot."},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., and P. G\u00e4rdenfors. 1985. On the logic of theory change: Partial meet. Journal of Symbolic Logic 50:510\u2013530.","journal-title":"Journal of Symbolic Logic"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New studies in deontic logic","author":"C. Alchourr\u00f3n","year":"1981","unstructured":"Alchourr\u00f3n, C., and D. Makinson. 1981. Hierarchies of regulations and their logic. In New studies in deontic logic, ed. R. Hilpinen, 125\u2013148. Boston: D. Reidel."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C. Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C., and D. Makinson. 1982. The logic of theory change: Contraction functions and their associated revision functions. Theoria 48:14\u201337.","journal-title":"Theoria"},{"issue":"1","key":"12_CR6","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1838552.1838558","volume":"12","author":"D. Billington","year":"2010","unstructured":"Billington, D., G. Antoniou, G. Governatori, and M. Maher. 2010. An inclusion theorem for defeasible logic. ACM Transactions in Computational Logic 12(1):6.","journal-title":"ACM Transactions in Computational Logic"},{"key":"12_CR7","unstructured":"Boella, G. G. Pigozzi, and L. van der Torre. 2009. A normative framework for norm change. In 8th international joint conference on autonomous agents and multiagent systems (AAMAS 2009), 169\u2013176. Richland: IFAAMAS."},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P. Dung","year":"1995","unstructured":"Dung, P. (1995). On the acceptability of arguments and its fundamental. Artificial Intelligence 77(2):321\u2013358.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"12_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1093\/logcom\/13.1.3","volume":"13","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., G. Pigozzi, J. Woods, and D. Walton. 2003. Controlled revision \u2013 An algorithmic approach for belief revision. Journal of Logic and Computation 13(1):3\u201322.","journal-title":"Journal of Logic and Computation"},{"issue":"10\u201311","key":"12_CR10","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1016\/j.artint.2007.04.010","volume":"171","author":"T. Gordon","year":"2007","unstructured":"Gordon, T., H. Prakken. 2007. The Carneades model of argument and burden of proof. Artificial Intelligence 171(10\u201311):875\u2013896.","journal-title":"Artificial Intelligence"},{"key":"12_CR11","first-page":"31","volume-title":"The 13th international conference on artificial intelligence and law (ICAIL 2011)","author":"G. Governatori","year":"2011","unstructured":"Governatori, G. (2011). On the relationship between Carneades and defeasible logic. In The 13th international conference on artificial intelligence and law (ICAIL 2011), ed. K. Ashley, 31\u201340. New York: ACM Press."},{"issue":"1","key":"12_CR12","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., and A. Rotolo. 2010. Changing legal systems: Legal abrogations and annulments in defeasible logic. The Logic Journal of IGPL 18(1):157\u2013194.","journal-title":"The Logic Journal of IGPL"},{"key":"12_CR13","unstructured":"Governatori, Guido, and Antonino Rotolo. 2013. Computing temporal defeasible logic. In 7th international symposium on theory, practice, and applications of rules on the web (RuleML 2013), ed. Leora Morgenstern, Petros S. Stefaneas, Fran\u00e7ois L\u00e9vy, Adam Wyner, and Adrian Paschke. LNCS, vol. 8035, 114-128. Heidelberg: Springer."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Governatori, Guido, and Giovanni Sartor. 2010. Burdens of proof in monological argumentation. In The twenty-third annual conference on legal knowledge and information systems (Jurix 2010), ed. Radboud Winkels, vol.223, 57\u201366. Amsterdam: IOS Press. doi:http:\/\/dx.doi.org\/10.3233\/978-1-60750-682-9-57.","DOI":"10.3233\/978-1-60750-682-9-57"},{"issue":"5","key":"12_CR15","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G. Governatori","year":"2004","unstructured":"Governatori, G., M. Maher, D. Billington, and G. Antoniou. 2004. Argumentation semantics for defeasible logics. Journal of Logic and Computation 14(5):675\u2013702.","journal-title":"Journal of Logic and Computation"},{"key":"12_CR16","first-page":"13","volume-title":"The eighteenth annual conference on legal knowledge and information systems (Jurix 2005)","author":"Guido Governatori","year":"2005","unstructured":"Governatori, Guido, Monica Palmirani, R\u00e9gis Riveret, Antonino Rotolo, and Giovanni Sartor. 2005a. Norm modifications in defeasible logic. In The eighteenth annual conference on legal knowledge and information systems (Jurix 2005), ed. Marie-Francine Moens and Peter Spyns, 13\u201322. Amsterdam: IOS Press."},{"key":"12_CR17","first-page":"25","volume-title":"The 10th international conference on artificial intelligence and law (ICAIL 2005)","author":"Guido Governatori","year":"2005","unstructured":"Governatori, Guido, Antonino Rotolo, and Giovanni Sartor. 2005b. Temporalised normative positions in defeasible logic. In The 10th international conference on artificial intelligence and law (ICAIL 2005), ed. Anne Gardner, 25\u201334. New York: ACM."},{"key":"12_CR18","first-page":"486","volume-title":"20th Australian joint conference on artificial intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., J. Hulstijn, R. Riveret, and A. Rotolo. 2007a. Characterising deadlines in temporal modal defeasible. In 20th Australian joint conference on artificial intelligence, ed. M. Orgun, and J. Thornton, 486\u2013496. Berlin: Springer."},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/1276318.1276347","volume-title":"The 11th international conference on artificial intelligence and law (ICAIL 2007)","author":"Guido Governatori","year":"2007","unstructured":"Governatori, Guido, Antonino Rotolo, R\u00e9gis Riveret, Monica Palmirani, and Giovanni Sartor. 2007. Variants of temporal defeasible logic for modelling norm modifications. In The 11th international conference on artificial intelligence and law (ICAIL 2007), ed. Radboud Winkels, 155\u2013159. New York: ACM. doi:10.1145\/1276318.1276347."},{"issue":"6","key":"12_CR20","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G. Governatori","year":"2013","unstructured":"Governatori, G., F. Olivieri, A. Rotolo, and S. Scannapieco. 2013a. Computing strong and weak permissions in defeasible. Journal of Philosophical Logic 42(6):799\u2013829.","journal-title":"Journal of Philosophical Logic"},{"key":"12_CR21","first-page":"63","volume-title":"The 14th international conference on artificial intelligence and law (ICAIL 2013)","author":"G. Governatori","year":"2013","unstructured":"Governatori, G., A. Rotolo, F. Olivieri, and S. Scannapieco. 2013b. Legal contractions: A logical analysis. In The 14th international conference on artificial intelligence and law (ICAIL 2013), ed. B. Verheij, 63\u201372. New York: ACM Press."},{"key":"12_CR22","volume-title":"Teoria e dogmatica delle fonti","author":"Riccardo Guastini","year":"1998","unstructured":"Guastini, Riccardo. 1998. Teoria e dogmatica delle fonti. Milan: Giuffr\u00e9."},{"key":"12_CR23","volume-title":"The concept of law","author":"H.L.A. Hart","year":"1994","unstructured":"Hart, H.L.A. 1994. The concept of law. Oxford: Clarendon."},{"key":"12_CR24","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001","volume-title":"General theory of norms","author":"Hans Kelsen","year":"1991","unstructured":"Kelsen, Hans. 1991. General theory of norms. Oxford: Clarendon."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"Nute, Donald. 1994. Defeasible logic. In Handbook of logic in artificial intelligence and logic programmingI, ed. Gabbay, Dov M., Hogger, Christopher John, and John Alan Robinson, vol.3, 353-395. Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-642-14183-6_10","volume-title":"Proceedings of the 10th international conference on deontic logic in computer science (DEON 2010)","author":"A. Rotolo","year":"2010","unstructured":"Rotolo, A. (2010). Retroactive legal changes and revision theory in defeasible logic. In Proceedings of the 10th international conference on deontic logic in computer science (DEON 2010), ed. Governatori, G., and G. Sartor, 116\u2013131. Berlin\/New York: Springer."},{"key":"12_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7821-9","volume-title":"Logic in law","author":"A. Soeteman","year":"1989","unstructured":"Soeteman, A. (1989). Logic in law. Dodrecht: Kluwer."},{"issue":"3","key":"12_CR28","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s10506-010-9097-5","volume":"18","author":"A. Stolpe","year":"2010","unstructured":"Stolpe, A. (2010). Norm-system revision: Theory and application. Artificial Intelligence and Law 18(3):247\u2013283.","journal-title":"Artificial Intelligence and Law"},{"key":"12_CR29","unstructured":"von Wright, Georg Henrik. 1963. Norm and action: A logical inquiry. London: Routledge and Kegan Paul."},{"issue":"3","key":"12_CR30","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s11023-011-9243-1","volume":"21","author":"G. Wheeler","year":"2011","unstructured":"Wheeler, G., and M. Alberti. 2011. NO revision and NO contraction. Minds and Machines 21(3):411\u2013430.","journal-title":"Minds and Machines"}],"container-title":["Legisprudence Library","Logic in the Theory and Practice of Lawmaking"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19575-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T22:35:38Z","timestamp":1748644538000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19575-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195742","9783319195759"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19575-9_12","relation":{},"ISSN":["2213-2813","2213-2856"],"issn-type":[{"type":"print","value":"2213-2813"},{"type":"electronic","value":"2213-2856"}],"subject":[],"published":{"date-parts":[[2015]]}}}