{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T20:18:51Z","timestamp":1791231531270,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,8]],"date-time":"2015-06-08T00:00:00Z","timestamp":1433721600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Australian Government"},{"name":"Australian Research Council"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,8]]},"DOI":"10.1145\/2746090.2746105","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"63-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["Thou shalt is not you will"],"prefix":"10.1145","author":[{"given":"Guido","family":"Governatori","sequence":"first","affiliation":[{"name":"NICTA, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-010-0387-2_3","volume-title":"Handbook of Philosophical Logic","author":"\u00c5qvist L.","year":"2002","unstructured":"L. \u00c5qvist . Deontic logic . In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic . 2 nd Edition. Vol. 8 , pp. 147 -- 264 . Springer , 2002 . L. \u00c5qvist. Deontic logic. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. 2nd Edition. Vol. 8, pp. 147--264. Springer, 2002.","edition":"2"},{"key":"e_1_3_2_1_2_1","first-page":"116","volume":"802","author":"van Benthem J.","year":"2014","unstructured":"J. van Benthem , D. Grossi , and F. Liu . Priority Structures in Deontic Logic. Theoria , 802 : 116 -- 152 , 2014 . J. van Benthem, D. Grossi, and F. Liu. Priority Structures in Deontic Logic. Theoria, 802: 116--152, 2014.","journal-title":"Priority Structures in Deontic Logic. Theoria"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08615-6_5"},{"key":"e_1_3_2_1_4_1","volume-title":"NICTA","author":"Calardo E.","year":"2015","unstructured":"E. Calardo , G. Governatori , and A. Rotolo . A Sequence Semantics for Deontic Logic. Tech. rep. 8580 . NICTA , 2015 . E. Calardo, G. Governatori, and A. Rotolo. A Sequence Semantics for Deontic Logic. Tech. rep. 8580. NICTA, 2015."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"Carmo J.","year":"2002","unstructured":"J. Carmo and A. J. Jones . Deontic Logic and Contrary-to-Duties . In D. M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic . 2 nd Edition. Vol. 8 , pp. 265 -- 343 . Springer , 2002 . J. Carmo and A. J. Jones. Deontic Logic and Contrary-to-Duties. In D. M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic. 2nd Edition. Vol. 8, pp. 265--343. Springer, 2002.","edition":"2"},{"key":"e_1_3_2_1_6_1","volume-title":"Business Process Compliance: An Abstract Normative Framework. IT -- Information Technology, 556: 231--238","author":"Governatori G.","year":"2013","unstructured":"G. Governatori . Business Process Compliance: An Abstract Normative Framework. IT -- Information Technology, 556: 231--238 , 2013 . G. Governatori. Business Process Compliance: An Abstract Normative Framework. IT -- Information Technology, 556: 231--238, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843005001092"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9295-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v4i0.1780"},{"key":"e_1_3_2_1_10_1","first-page":"426","volume-title":"Handbook of Research on BPM","author":"Governatori G.","year":"2009","unstructured":"G. Governatori and S. Sadiq . The Journey to Business Process Compliance. In J. Cardoso and W. van der Aalst, editors , Handbook of Research on BPM , pp. 426 -- 454 . IGI Global , 2009 . G. Governatori and S. Sadiq. The Journey to Business Process Compliance. In J. Cardoso and W. van der Aalst, editors, Handbook of Research on BPM, pp. 426--454. IGI Global, 2009."},{"key":"e_1_3_2_1_11_1","first-page":"33","volume-title":"10th International Conference on Deontic Logic in Computer Science (DEON 2010","author":"Piolle G.","year":"2010","unstructured":"G. Piolle . A Dyadic Operator for the Gradation of Desirability. In G. Governatori and G. Sartor, eds . 10th International Conference on Deontic Logic in Computer Science (DEON 2010 ). Lecture Notes in Computer Science 6181 , pp. 33 -- 49 . Springer, 2010 . G. Piolle. A Dyadic Operator for the Gradation of Desirability. In G. Governatori and G. Sartor, eds. 10th International Conference on Deontic Logic in Computer Science (DEON 2010). Lecture Notes in Computer Science 6181, pp. 33--49. Springer, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370671"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/978-94-009-8484-4_7","volume-title":"New Studies on Deontic Logic","author":"Thomason R. H.","year":"1981","unstructured":"R. H. Thomason . Deontic Logic Founded on Tense Logic . In R. Hilpinen, editor, New Studies on Deontic Logic , pp. 165 -- 176 . Kluwer , 1981 . R. H. Thomason. Deontic Logic Founded on Tense Logic. In R. Hilpinen, editor, New Studies on Deontic Logic, pp. 165--176. Kluwer, 1981."},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"7th International Conference Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2001","author":"Vardi M. Y.","year":"2031","unstructured":"M. Y. Vardi . Branching vs. Linear Time: Final Showdown. In T. Margaria and W. Yi, eds . 7th International Conference Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2001 ). Lecture Notes in Computer Science 2031 , pp. 1 -- 22 . Springer, 2001. M. Y. Vardi. Branching vs. Linear Time: Final Showdown. In T. Margaria and W. Yi, eds. 7th International Conference Tools and Algorithms for the Construction and Analysis of Systems, (TACAS 2001). Lecture Notes in Computer Science 2031, pp. 1--22. Springer, 2001."}],"event":{"name":"ICAIL '15: 15th International Conference on Artificial Intelligence and Law","location":"San Diego California","acronym":"ICAIL '15","sponsor":["Center for IP Law & Markets Center for Intellectual Property Law & Markets, University of San Diego School of Law","TrademarkNow TrademarkNow","The International Association for Artificial Intelligence and Law","Davis Polk Davis Polk & Wardwell LLP","Legal Robot Legal Robot","Thomson Reuters Thomson Reuters Corporation","SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the 15th International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746090.2746105","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2746090.2746105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:43Z","timestamp":1750227403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2746090.2746105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,8]]},"references-count":15,"alternative-id":["10.1145\/2746090.2746105","10.1145\/2746090"],"URL":"https:\/\/doi.org\/10.1145\/2746090.2746105","relation":{},"subject":[],"published":{"date-parts":[[2015,6,8]]},"assertion":[{"value":"2015-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}