{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T17:15:39Z","timestamp":1772471739374,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":7,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,21]]},"DOI":"10.1145\/3462757.3466084","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T06:50:46Z","timestamp":1627455046000},"page":"262-263","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Constraint answer set programming as a tool to improve legislative drafting"],"prefix":"10.1145","author":[{"given":"Jason","family":"Morris","sequence":"first","affiliation":[{"name":"Singapore Management University Centre for Computational Law, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"380","article-title":"Normalized Legal Drafting and the Query Method","volume":"29","author":"Allen L.","year":"1978","unstructured":"L. Allen and C. R. Engholm . 1978 . Normalized Legal Drafting and the Query Method . Journal of Legal Education 29 (1978), 380 -- 412 . L. Allen and C. R. Engholm. 1978. Normalized Legal Drafting and the Query Method. Journal of Legal Education 29 (1978), 380--412.","journal-title":"Journal of Legal Education"},{"key":"e_1_3_2_1_2_1","volume-title":"Justifications for Goal-Directed Constraint Answer Set Programming. arXiv preprint arXiv:2009.10238","author":"Arias Joaqu\u00edn","year":"2020","unstructured":"Joaqu\u00edn Arias , Manuel Carro , Zhuo Chen , and Gopal Gupta . 2020. Justifications for Goal-Directed Constraint Answer Set Programming. arXiv preprint arXiv:2009.10238 ( 2020 ). Joaqu\u00edn Arias, Manuel Carro, Zhuo Chen, and Gopal Gupta. 2020. Justifications for Goal-Directed Constraint Answer Set Programming. arXiv preprint arXiv:2009.10238 (2020)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000285"},{"key":"e_1_3_2_1_4_1","volume-title":"Accessed","author":"Organization for Economic Cooperation and Development Observatory for Public Sector Innovation. [n.d.].","year":"2021","unstructured":"Organization for Economic Cooperation and Development Observatory for Public Sector Innovation. [n.d.]. Cracking the Code: Rulemaking for humans and machines . Accessed February 28, 2021 , at https:\/\/oecd-opsi.org\/wp-content\/uploads\/2020\/10\/Rules-as-Code_Highlights_Final_HighRes.pdf. Organization for Economic Cooperation and Development Observatory for Public Sector Innovation. [n.d.]. Cracking the Code: Rulemaking for humans and machines. Accessed February 28, 2021, at https:\/\/oecd-opsi.org\/wp-content\/uploads\/2020\/10\/Rules-as-Code_Highlights_Final_HighRes.pdf."},{"key":"e_1_3_2_1_5_1","unstructured":"D. Merritt. 2017. Expert Systems in Prolog. Independently Published. https:\/\/books.google.com.sg\/books?id=6IQGyQEACAAJ  D. Merritt. 2017. Expert Systems in Prolog. Independently Published. https:\/\/books.google.com.sg\/books?id=6IQGyQEACAAJ"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"key":"e_1_3_2_1_7_1","volume-title":"Logic Programming with Defaults and Argumentation Theories","author":"Wan Hui","unstructured":"Hui Wan , Benjamin Grosof , Michael Kifer , Paul Fodor , and Senlin Liang . 2009. Logic Programming with Defaults and Argumentation Theories . In Logic Programming, Patricia M. Hill and David S. Warren (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 432--448. Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, and Senlin Liang. 2009. Logic Programming with Defaults and Argumentation Theories. In Logic Programming, Patricia M. Hill and David S. Warren (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 432--448."}],"event":{"name":"ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law","location":"S\u00e3o Paulo Brazil","acronym":"ICAIL '21","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"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.3466084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462757.3466084","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.3466084"}},"subtitle":["a rules as code experiment"],"short-title":[],"issued":{"date-parts":[[2021,6,21]]},"references-count":7,"alternative-id":["10.1145\/3462757.3466084","10.1145\/3462757"],"URL":"https:\/\/doi.org\/10.1145\/3462757.3466084","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"}}]}}