{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:40Z","timestamp":1750220560188,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,21]],"date-time":"2021-06-21T00:00:00Z","timestamp":1624233600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJCR20G4"],"award-info":[{"award-number":["JPMJCR20G4"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["JP17H06103, JP19H05470"],"award-info":[{"award-number":["JP17H06103, JP19H05470"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,21]]},"DOI":"10.1145\/3462757.3466075","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T06:50:46Z","timestamp":1627455046000},"page":"50-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["On semantics-based minimal revision for legal reasoning"],"prefix":"10.1145","author":[{"given":"Wachara","family":"Fungwacharakorn","sequence":"first","affiliation":[{"name":"National Institute of Informatics and SOKENDAI, Chiyoda, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kanae","family":"Tsushima","sequence":"additional","affiliation":[{"name":"National Institute of Informatics and SOKENDAI, Chiyoda, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Satoh","sequence":"additional","affiliation":[{"name":"National Institute of Informatics and SOKENDAI, Chiyoda, Tokyo, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Tokyo High Court 1994 (O) 693. 1996. Case to seek removal of a building and surrender of lands. http:\/\/www.courts.go.jp\/app\/hanrei_en\/detail?id=273  Tokyo High Court 1994 (O) 693. 1996. Case to seek removal of a building and surrender of lands. http:\/\/www.courts.go.jp\/app\/hanrei_en\/detail?id=273"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9190-5"},{"volume-title":"Foundations of deductive databases and logic programming. Morgan Kaufmann","author":"Apt Krzysztof R","key":"e_1_3_2_1_3_1","unstructured":"Krzysztof R Apt , Howard A Blair , and Adrian Walker . 1988. Towards a theory of declarative knowledge . In Foundations of deductive databases and logic programming. Morgan Kaufmann , Burlington, MA, USA , 89--148. Krzysztof R Apt, Howard A Blair, and Adrian Walker. 1988. Towards a theory of declarative knowledge. In Foundations of deductive databases and logic programming. Morgan Kaufmann, Burlington, MA, USA, 89--148."},{"key":"e_1_3_2_1_4_1","volume-title":"JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 204--216","author":"Arisaka Ryuta","year":"2015","unstructured":"Ryuta Arisaka . 2015 . A Belief Revision Technique to Model Civil Code Updates . In JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 204--216 . Ryuta Arisaka. 2015. A Belief Revision Technique to Model Civil Code Updates. In JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 204--216."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_8"},{"key":"e_1_3_2_1_6_1","volume-title":"Non-monotonic learning. Inductive logic programming 38","author":"Bain Michael","year":"1992","unstructured":"Michael Bain and Stephen Muggleton . 1992. Non-monotonic learning. Inductive logic programming 38 ( 1992 ), 145153. Michael Bain and Stephen Muggleton. 1992. Non-monotonic learning. Inductive logic programming 38 (1992), 145153."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-017-9201-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222116"},{"volume-title":"1996 Proceedings of International Conference on Software Maintenance. IEEE, USA, 42--51","year":"1996","key":"e_1_3_2_1_9_1","unstructured":"Bohner. 1996 . Impact analysis in the software change process: a year 2000 perspective . In 1996 Proceedings of International Conference on Software Maintenance. IEEE, USA, 42--51 . Bohner. 1996. Impact analysis in the software change process: a year 2000 perspective. In 1996 Proceedings of International Conference on Software Maintenance. IEEE, USA, 42--51."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(91)90012-V"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-006-9004-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000305"},{"key":"e_1_3_2_1_13_1","volume-title":"Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press, CA, USA, 243--254","author":"Cyras Kristijonas","year":"2016","unstructured":"Kristijonas Cyras , Ken Satoh , and Francesca Toni . 2016 . Abstract argumentation for case-based reasoning . In Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press, CA, USA, 243--254 . Kristijonas Cyras, Ken Satoh, and Francesca Toni. 2016. Abstract argumentation for case-based reasoning. In Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning. AAAI Press, CA, USA, 243--254."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","volume":"2","author":"Dalal Mukesh","year":"1988","unstructured":"Mukesh Dalal . 1988 . Investigations into a theory of knowledge base revision: preliminary report . In Proceedings of the Seventh National Conference on Artificial Intelligence , Vol. 2 . AAAI Press, CA, USA, 475--479. Mukesh Dalal. 1988. Investigations into a theory of knowledge base revision: preliminary report. In Proceedings of the Seventh National Conference on Artificial Intelligence, Vol. 2. AAAI Press, CA, USA, 475--479."},{"key":"e_1_3_2_1_15_1","volume-title":"JSAI International Symposium on Artificial Intelligence. Springer Berlin Heidelberg","author":"Vos Marina De","year":"2010","unstructured":"Marina De Vos , Julian Padget , and Ken Satoh . 2010 . Legal modelling and reasoning using institutions . In JSAI International Symposium on Artificial Intelligence. Springer Berlin Heidelberg , Berlin, Heidelberg, 129--140. Marina De Vos, Julian Padget, and Ken Satoh. 2010. Legal modelling and reasoning using institutions. In JSAI International Symposium on Artificial Intelligence. Springer Berlin Heidelberg, Berlin, Heidelberg, 129--140."},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches","volume":"7","author":"Val Alvaro Del","year":"1997","unstructured":"Alvaro Del Val . 1997 . Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches . Journal of Applied Non-Classical Logics 7 , 1 -- 2 (1997), 213--240. Alvaro Del Val. 1997. Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches. Journal of Applied Non-Classical Logics 7, 1--2 (1997), 213--240.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"e_1_3_2_1_17_1","volume-title":"Legal Debugging in Propositional Legal Representation. In JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 146--159","author":"Fungwacharakorn Wachara","year":"2018","unstructured":"Wachara Fungwacharakorn and Ken Satoh . 2018 . Legal Debugging in Propositional Legal Representation. In JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 146--159 . Wachara Fungwacharakorn and Ken Satoh. 2018. Legal Debugging in Propositional Legal Representation. In JSAI International Symposium on Artificial Intelligence. Springer International Publishing, Cham, 146--159."},{"key":"e_1_3_2_1_18_1","volume-title":"34th Proceedings of the Annual Conference of JSAI","volume":"2020","author":"Fungwacharakorn Wachara","year":"2020","unstructured":"Wachara Fungwacharakorn , Kanae Tsushima , and Ken Satoh . 2020 . On the legal revision in PROLEG program . In 34th Proceedings of the Annual Conference of JSAI , Vol. 2020 . Japan Society of Artificial Intelligence, Japan, 3G5ES104--3G5ES104. Wachara Fungwacharakorn, Kanae Tsushima, and Ken Satoh. 2020. On the legal revision in PROLEG program. In 34th Proceedings of the Annual Conference of JSAI, Vol. 2020. Japan Society of Artificial Intelligence, Japan, 3G5ES104--3G5ES104."},{"key":"e_1_3_2_1_19_1","volume-title":"Resolving counterintuitive consequences in law using legal debugging. Artificial Intelligence and Law","author":"Fungwacharakorn Wachara","year":"2021","unstructured":"Wachara Fungwacharakorn , Kanae Tsushima , and Ken Satoh . 2021. Resolving counterintuitive consequences in law using legal debugging. Artificial Intelligence and Law ( 2021 ), 1--17. Wachara Fungwacharakorn, Kanae Tsushima, and Ken Satoh. 2021. Resolving counterintuitive consequences in law using legal debugging. Artificial Intelligence and Law (2021), 1--17."},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of International Logic Programming Conference and Symposium, Robert Kowalski, Bowen, and Kenneth (Eds.)","volume":"88","author":"Gelfond Michael","year":"1988","unstructured":"Michael Gelfond and Vladimir Lifschitz . 1988 . The stable model semantics for logic programming . In Proceedings of International Logic Programming Conference and Symposium, Robert Kowalski, Bowen, and Kenneth (Eds.) , Vol. 88 . MIT Press, Cambridge, MA, USA, 1070--1080. Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming. In Proceedings of International Logic Programming Conference and Symposium, Robert Kowalski, Bowen, and Kenneth (Eds.), Vol. 88. MIT Press, Cambridge, MA, USA, 1070--1080."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.675"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1563510.1563513"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1019516031847"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3322640.3326697"},{"key":"e_1_3_2_1_25_1","volume-title":"A factor-based definition of precedential constraint. Artificial intelligence and Law 20, 2","author":"Horty John F","year":"2012","unstructured":"John F Horty and Trevor JM Bench-Capon . 2012. A factor-based definition of precedential constraint. Artificial intelligence and Law 20, 2 ( 2012 ), 181--214. John F Horty and Trevor JM Bench-Capon. 2012. A factor-based definition of precedential constraint. Artificial intelligence and Law 20, 2 (2012), 181--214."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90069-V"},{"volume-title":"An introduction to legal reasoning","author":"Levi Edward H","key":"e_1_3_2_1_27_1","unstructured":"Edward H Levi . 2013. An introduction to legal reasoning . University of Chicago Press , Chicago, USA. Edward H Levi. 2013. An introduction to legal reasoning. University of Chicago Press, Chicago, USA."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514601.2514627"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Bernhard Nebel et al. 1992. Syntax-based approaches to belief revision. Belief revision 29 (1992) 52--88.  Bernhard Nebel et al. 1992. Syntax-based approaches to belief revision. Belief revision 29 (1992) 52--88.","DOI":"10.1017\/CBO9780511526664.003"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/112646.112666"},{"key":"e_1_3_2_1_31_1","volume-title":"A formal analysis of some factor-and precedent-based accounts of precedential constraint. Artificial Intelligence and Law","author":"Prakken Henry","year":"2021","unstructured":"Henry Prakken . 2021. A formal analysis of some factor-and precedent-based accounts of precedential constraint. Artificial Intelligence and Law ( 2021 ), 1--27. Henry Prakken. 2021. A formal analysis of some factor-and precedent-based accounts of precedential constraint. Artificial Intelligence and Law (2021), 1--27."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-015-9166-x"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/41735.41743"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222209"},{"volume-title":"Legal Argumentation Theory: Cross-Disciplinary Perspectives","author":"Rotolo Antonino","key":"e_1_3_2_1_35_1","unstructured":"Antonino Rotolo and Corrado Roversi . 2013. Constitutive rules and coherence in legal argumentation: The case of extensive and restrictive interpretation . In Legal Argumentation Theory: Cross-Disciplinary Perspectives . Springer Netherlands, Dordrecht , The Netherlands , 163--188. Antonino Rotolo and Corrado Roversi. 2013. Constitutive rules and coherence in legal argumentation: The case of extensive and restrictive interpretation. In Legal Argumentation Theory: Cross-Disciplinary Perspectives. Springer Netherlands, Dordrecht, The Netherlands, 163--188."},{"volume-title":"Nonmonotonic reasoning by minimal belief revision","author":"Satoh Ken","key":"e_1_3_2_1_36_1","unstructured":"Ken Satoh . 1988. Nonmonotonic reasoning by minimal belief revision . Institute for New Generation Computer Technology , Japan. Ken Satoh. 1988. Nonmonotonic reasoning by minimal belief revision. Institute for New Generation Computer Technology, Japan."},{"key":"e_1_3_2_1_37_1","volume-title":"PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In New Frontiers in Artificial Intelligence (Lecture Notes in Computer Science)","author":"Satoh Ken","year":"2011","unstructured":"Ken Satoh , Kento Asai , Takamune Kogawa , Masahiro Kubota , Megumi Nakamura , Yoshiaki Nishigai , Kei Shirakawa , and Chiaki Takano . 2011 . PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In New Frontiers in Artificial Intelligence (Lecture Notes in Computer Science) . Springer Berlin Heidelberg, Berlin , Heidelberg , 153--164. Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, and Chiaki Takano. 2011. PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. In New Frontiers in Artificial Intelligence (Lecture Notes in Computer Science). Springer Berlin Heidelberg, Berlin, Heidelberg, 153--164."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1671082.1671102"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"volume-title":"Algorithmic Program DeBugging","author":"Shapiro Ehud Y.","key":"e_1_3_2_1_40_1","unstructured":"Ehud Y. Shapiro . 1983. Algorithmic Program DeBugging . MIT Press , Cambridge, MA, USA . Ehud Y. Shapiro. 1983. Algorithmic Program DeBugging. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/41735.41750"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00131-X"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 2008 Conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference. IOS Press","author":"Verheij Bart","year":"2008","unstructured":"Bart Verheij . 2008 . About the Logical Relations between Cases and Rules . In Proceedings of the 2008 Conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference. IOS Press , Amsterdam, The Netherlands, 21--32. Bart Verheij. 2008. About the Logical Relations between Cases and Rules. In Proceedings of the 2008 Conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference. IOS Press, Amsterdam, The Netherlands, 21--32."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48758-8_31"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9189-y"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3086512.3086533"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann","author":"Wogulis James","year":"1993","unstructured":"James Wogulis and Michael J Pazzani . 1993 . A methodology for evaluating theory revision systems: Results with Audrey II . In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann , San Francisco, CA, USA, 1128--1134. James Wogulis and Michael J Pazzani. 1993. A methodology for evaluating theory revision systems: Results with Audrey II. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann, San Francisco, CA, USA, 1128--1134."}],"event":{"name":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"S\u00e3o Paulo Brazil","acronym":"ICAIL '21"},"container-title":["Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466075","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466075","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:31Z","timestamp":1750195711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462757.3466075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":47,"alternative-id":["10.1145\/3462757.3466075","10.1145\/3462757"],"URL":"https:\/\/doi.org\/10.1145\/3462757.3466075","relation":{},"subject":[],"published":{"date-parts":[[2021,6,21]]},"assertion":[{"value":"2021-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}