{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:43:04Z","timestamp":1740102184520,"version":"3.37.3"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["ERC-2017-ADG No 788734"],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,6,19]]},"DOI":"10.1145\/3594536.3595160","type":"proceedings-article","created":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T23:40:01Z","timestamp":1694130001000},"page":"432-436","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On Normative Arrows and Comparing Tax Automation Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0683-9042","authenticated-orcid":false,"given":"P. N.","family":"Meessen","sequence":"first","affiliation":[{"name":"Radboud Universiteit Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2023,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"978","volume-title":"Bernstein","author":"Braude Eric J.","year":"2016","unstructured":"Eric J. Braude and Michael E. Bernstein. 2016. Software Engineering: Modern Approaches, Second Edition. Google-Books-ID: kILlCwAAQBAJ. Waveland Press, (Mar. 9, 2016). 800 pp. ISBN: 978-1-4786-3303-7."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020\/21). CNL 2021. Special Interest Group on Controlled Natural Language","author":"Corsius Mischa","year":"2021","unstructured":"Mischa Corsius, Stijn Hoppenbrouwers, Mariette Lokin, Elian Baars, Gertrude Sangers-Van Cappellen, and Ilona Wilmont. 2021. RegelSpraak: a CNL for executable tax rules specification. In Proceedings of the Seventh International Workshop on Controlled Natural Language (CNL 2020\/21). CNL 2021. Special Interest Group on Controlled Natural Language, Amsterdam, Netherlands, (Sept. 2021). Retrieved Sept. 27, 2021 from https:\/\/aclanthology.org\/2021.cnl-1.6."},{"key":"e_1_3_2_1_3_1","volume-title":"Business Rules Community - BRC. Retrieved","author":"Fokkenrood Frans","year":"2022","unstructured":"Frans Fokkenrood. [n. d.] RegelSpraak for business rules: experiences in building a business rules compiler for the dutch tax administration: features: business rules community \/ business rules journal. Business Rules Community - BRC. Retrieved Mar. 28, 2022 from https:\/\/www.brcommunity.com\/articles.php?id=b622."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9223-3"},{"key":"e_1_3_2_1_5_1","volume-title":"Bulloch","author":"Herbert Lionel H.L.A.","year":"1994","unstructured":"H.L.A. (Herbert Lionel Adolphus) Hart and Penelope A. Bulloch. 1994. The concept of law. (2nd ed. ed.). Clarendon law series. Section: XII, p. 315; 23 cm. Clarendon Press, Oxford. isbn: 0-19-876122-8. http:\/\/catdir.loc.gov\/catdir\/enhancements\/fy0640\/94221592-d.html.","edition":"2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500618"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl"},{"key":"e_1_3_2_1_8_1","first-page":"241","article-title":"Modeling uncertainty in tax law","volume":"65","author":"Lawsky Sarah B.","year":"2013","unstructured":"Sarah B. Lawsky. 2013. Modeling uncertainty in tax law. Stanford Law Review, 65, 2, 241--278. Retrieved Feb. 2, 2022 from https:\/\/heinonline.org\/HOL\/P?h=hein.journals\/stflr65&i=255.","journal-title":"Stanford Law Review"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111320.1111042"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5553\/RM"},{"key":"e_1_3_2_1_12_1","volume-title":"Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits. working paper or preprint, (Dec","author":"Merigoux Denis","year":"2022","unstructured":"Denis Merigoux, Marie Alauzen, and Lilya Slimani. Rules, Computation and Politics: Scrutinizing Unnoticed Programming Choices in French Housing Benefits. working paper or preprint, (Dec. 2022). https:\/\/inria.hal.science\/hal-03712130."},{"key":"e_1_3_2_1_13_1","volume-title":"Catala: a programming language for the law. arXiv:2103.03198 [cs], (Mar. 4","author":"Merigoux Denis","year":"2021","unstructured":"Denis Merigoux, Nicolas Chataing, and Jonathan Protzenko. 2021. Catala: a programming language for the law. arXiv:2103.03198 [cs], (Mar. 4, 2021). Retrieved Mar. 9, 2021 from http:\/\/arxiv.org\/abs\/2103.03198 arXiv: 2103.03198."},{"key":"e_1_3_2_1_14_1","volume-title":"Retrieved","author":"Merigoux Denis","year":"2020","unstructured":"Denis Merigoux and Liane Huttner. 2020. Catala: moving towards the future of legal expert systems. (Sept. 11, 2020). Retrieved Feb. 27, 2021 from https:\/\/hal.inria.fr\/hal-02936606."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-1887-6_6"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"M. J. Sergot F. Sadri R. A. Kowalski F. Kriwaczek P. Hammond and H. T. Cory. 1986. The british nationality act as a logic program. Communications of the ACM 29 5 (May 1 1986) 370--386. doi: 10.1145\/5689.5920.","DOI":"10.1145\/5689.5920"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.26826\/law-in-context.v37i1.134"},{"key":"e_1_3_2_1_18_1","volume-title":"The rule of law and the importance of procedure. Nomos, 50, 3--31","author":"Waldron Jeremy","year":"2020","unstructured":"Jeremy Waldron. 2011. The rule of law and the importance of procedure. Nomos, 50, 3--31. Publisher: American Society for Political and Legal Philosophy. Retrieved Mar. 16, 2020 from https:\/\/www.jstor.org\/stable\/24220105."},{"key":"e_1_3_2_1_19_1","volume-title":"Research Collection Yong Pung How School Of Law., (Apr.","author":"Wong Meng Weng","year":"2020","unstructured":"Meng Weng Wong. 2020. Rules as code - seven levels of digitisation. Research Collection Yong Pung How School Of Law., (Apr. 2020), 1--24."}],"event":{"name":"ICAIL 2023: Nineteenth International Conference on Artificial Intelligence and Law","sponsor":["IAAIL Intl Asso for Artifical Intel & Law","UMinho University of Minho","SIGAI ACM Special Interest Group on Artificial Intelligence","AAAI Am Assoc for Artifical Intelligence"],"location":"Braga Portugal","acronym":"ICAIL 2023"},"container-title":["Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3594536.3595160","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T10:37:31Z","timestamp":1718793451000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3594536.3595160"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,19]]},"references-count":18,"alternative-id":["10.1145\/3594536.3595160","10.1145\/3594536"],"URL":"https:\/\/doi.org\/10.1145\/3594536.3595160","relation":{},"subject":[],"published":{"date-parts":[[2023,6,19]]},"assertion":[{"value":"2023-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}