{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T15:27:28Z","timestamp":1785166048281,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T00:00:00Z","timestamp":1370822400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000935","name":"Department of Broadband, Communications and the Digital Economy , Australian Government","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000935","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,6,10]]},"DOI":"10.1145\/2514601.2514609","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"63-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Legal contractions"],"prefix":"10.1145","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[{"name":"NICTA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonino","family":"Rotolo","sequence":"additional","affiliation":[{"name":"CIRSFID, University of Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Olivieri","sequence":"additional","affiliation":[{"name":"Griffith University, University of Verona, NICTA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simone","family":"Scannapieco","sequence":"additional","affiliation":[{"name":"Griffith University, University of Verona, NICTA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8484-4_4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8484-4_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1982.tb00480.x"},{"key":"e_1_3_2_1_5_1","first-page":"459","volume-title":"ECAI 2000","author":"Antoniou G.","year":"2000","unstructured":"G. Antoniou , D. Billington , G. Governatori , M. J. Maher , and A. Rock . A family of defeasible reasoning logics and its implementation . In ECAI 2000 , pages 459 -- 463 , 2000 . G. Antoniou, D. Billington, G. Governatori, M. J. Maher, and A. Rock. A family of defeasible reasoning logics and its implementation. In ECAI 2000, pages 459--463, 2000."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"e_1_3_2_1_7_1","first-page":"169","volume-title":"Proc. AAMAS 2009","author":"Boella G.","year":"2009","unstructured":"G. Boella , G. Pigozzi , and L. van der Torre. A normative framework for norm change . In Proc. AAMAS 2009 , pages 169 -- 176 . ACM, 2009 . G. Boella, G. Pigozzi, and L. van der Torre. A normative framework for norm change. In Proc. AAMAS 2009, pages 169--176. ACM, 2009."},{"key":"e_1_3_2_1_8_1","first-page":"327","volume-title":"A new approach to base revision","author":"Di Giusto P.","year":"1999","unstructured":"P. Di Giusto and G. Governatori . A new approach to base revision . In P. Barahona and J. J. Alferes, editors, EPIA 1999 , number 1695 in LNAI, pages 327 -- 341 , Berlin, 1999. Springer . P. Di Giusto and G. Governatori. A new approach to base revision. In P. Barahona and J. J. Alferes, editors, EPIA 1999, number 1695 in LNAI, pages 327--341, Berlin, 1999. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.1.3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-007-9056-y"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9030-4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp075"},{"key":"e_1_3_2_1_13_1","first-page":"13","volume-title":"JURIX","author":"Governatori G.","year":"2005","unstructured":"G. Governatori , M. Palmirani , R. Riveret , A. Rotolo , and G. Sartor . Norm modifications in defeasible logic . In JURIX 2005 , pages 13 -- 22 . IOS Press , Amsterdam , 2005. G. Governatori, M. Palmirani, R. Riveret, A. Rotolo, and G. Sartor. Norm modifications in defeasible logic. In JURIX 2005, pages 13--22. IOS Press, Amsterdam, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1276318.1276347"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp006"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"G.\n      Governatori F.\n      Olivieri S.\n      Scannapieco and \n      M.\n      Cristani\n  . \n  Designing for compliance: Norms and goals\n  . In F. Olken M. Palmirani and D. Sottara editors RuleML \n  2011\n   America volume \n  7018\n   of \n  LNCS pages \n  282\n  --\n  297\n  . \n  Springer 2011.   G. Governatori F. Olivieri S. Scannapieco and M. Cristani. Designing for compliance: Norms and goals. In F. Olken M. Palmirani and D. Sottara editors RuleML 2011 America volume 7018 of LNCS pages 282--297. Springer 2011.","DOI":"10.1007\/978-3-642-24908-2_29"},{"key":"e_1_3_2_1_17_1","volume-title":"Revision of defeasible logic preferences. CoRR, 1206.5833","author":"Governatori G.","year":"2012","unstructured":"G. Governatori , F. Olivieri , S. Scannapieco , and M. Cristani . Revision of defeasible logic preferences. CoRR, 1206.5833 , 2012 . G. Governatori, F. Olivieri, S. Scannapieco, and M. Cristani. Revision of defeasible logic preferences. CoRR, 1206.5833, 2012."},{"key":"e_1_3_2_1_18_1","volume-title":"Logic and Philosophy Today","author":"Grossi D.","year":"2011","unstructured":"D. Grossi and A. Rotolo . Logic in the law: A concise overview . In A. Gupta and J. van Benthem, editors, Logic and Philosophy Today . College Publications , 2011 . D. Grossi and A. Rotolo. Logic in the law: A concise overview. In A. Gupta and J. van Benthem, editors, Logic and Philosophy Today. College Publications, 2011."},{"key":"e_1_3_2_1_19_1","volume-title":"The Concept of Law","author":"Hart H. L. A.","year":"1994","unstructured":"H. L. A. Hart . The Concept of Law . Clarendon Press , Oxford , 1994 . H. L. A. Hart. The Concept of Law. Clarendon Press, Oxford, 1994."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198252177.001.0001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"H.-P.\n      Lam\n     and \n      G.\n      Governatori\n  . \n  What are the necessity rules in defeasible reasoning\n  . In J. Delgrande and W. Faber editors LPNMR \n  2011 volume \n  6645\n   of \n  LNCS pages \n  187\n  --\n  192 Berlin 2011. \n  Springer\n  .   H.-P. Lam and G. Governatori. What are the necessity rules in defeasible reasoning. In J. Delgrande and W. Faber editors LPNMR 2011 volume 6645 of LNCS pages 187--192 Berlin 2011. Springer.","DOI":"10.1007\/978-3-642-20895-9_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/383535.383541"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"A.\n      Rotolo\n    .\n  Retroactive legal changes and revision theory in defeasible logic\n  . In G. Governatori and G. Sartor editors DEON \n  2010 volume \n  6181\n   of \n  LNAI pages \n  116\n  --\n  131\n  . \n  Springer 2010.   A. Rotolo. Retroactive legal changes and revision theory in defeasible logic. In G. Governatori and G. Sartor editors DEON 2010 volume 6181 of LNAI pages 116--131. Springer 2010.","DOI":"10.1007\/978-3-642-14183-6_10"},{"key":"e_1_3_2_1_24_1","volume-title":"The Construction of Social Reality","author":"Searle J. R.","year":"1996","unstructured":"J. R. Searle . The Construction of Social Reality . The Free Press , New York , 1996 . J. R. Searle. The Construction of Social Reality. The Free Press, New York, 1996."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-010-9097-5"},{"key":"e_1_3_2_1_26_1","volume-title":"A logical inquiry","author":"von Wright G.","year":"1963","unstructured":"G. von Wright . Norm and action : A logical inquiry . Routledge and Kegan Paul , 1963 . G. von Wright. Norm and action: A logical inquiry. Routledge and Kegan Paul, 1963."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-011-9243-1"}],"event":{"name":"ICAIL '13: International Conference on Artificial Intelligence and Law","location":"Rome Italy","acronym":"ICAIL '13","sponsor":["ITTIG-CNR Istituto di Teoria e Tecniche dell'Informazione Giuridica - Consiglio Nazionale delle Ricerche","IAAIL Intl Asso for Artifical Intel & Law","SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514609","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2514601.2514609","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:18Z","timestamp":1750235958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514609"}},"subtitle":["a logical analysis"],"short-title":[],"issued":{"date-parts":[[2013,6,10]]},"references-count":27,"alternative-id":["10.1145\/2514601.2514609","10.1145\/2514601"],"URL":"https:\/\/doi.org\/10.1145\/2514601.2514609","relation":{},"subject":[],"published":{"date-parts":[[2013,6,10]]},"assertion":[{"value":"2013-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}