{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T03:17:37Z","timestamp":1773717457962,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T00:00:00Z","timestamp":1560729600000},"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":[[2019,6,17]]},"DOI":"10.1145\/3322640.3326707","type":"proceedings-article","created":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T12:18:16Z","timestamp":1563884296000},"page":"63-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Automated reasoning in normative detachment structures with ideal conditions"],"prefix":"10.1145","author":[{"given":"Tomer","family":"Libal","sequence":"first","affiliation":[{"name":"The American University of Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Pascucci","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/794073"},{"key":"e_1_3_2_1_2_1","volume-title":"Towards a normalized language to clarify the structure of legal discourse","author":"Allen L.E.","unstructured":"L.E. Allen . 1982. Towards a normalized language to clarify the structure of legal discourse . In Deontic Logic, Computational Linguistics, and Legal Information Systems, A.A. Martino (Ed.), North Holland , Amsterdam , 349--407. L.E. Allen. 1982. Towards a normalized language to clarify the structure of legal discourse. In Deontic Logic, Computational Linguistics, and Legal Information Systems, A.A. Martino (Ed.), North Holland, Amsterdam, 349--407."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370668"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceeedings of DEON","author":"Benzm\u00fcller C.","year":"2018","unstructured":"C. Benzm\u00fcller , A. Farjami and X. Parent . 2018. A dyadic deontic logic in HOL . In Proceeedings of DEON 2018 , J.M. Broersen, C. Condoravdi, N. Shyam and G. Pigozzi (Eds.), College Publications, London, 33--50. C. Benzm\u00fcller, A. Farjami and X. Parent. 2018. A dyadic deontic logic in HOL. In Proceeedings of DEON 2018, J.M. Broersen, C. Condoravdi, N. Shyam and G. Pigozzi (Eds.), College Publications, London, 33--50."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-016-9184-3"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-010-9866-4"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90095-7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90096-5"},{"key":"e_1_3_2_1_9_1","unstructured":"J. Carmo and A. Jones. 2002. Deontic logic and contrary to duties. In Handbook of Philosophical Logic 2nd edition D.M. Gabbay and F. Guenthner (Eds.) 256--344.  J. Carmo and A. Jones. 2002. Deontic logic and contrary to duties. In Handbook of Philosophical Logic 2nd edition D.M. Gabbay and F. Guenthner (Eds.) 256--344."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0394.2005.00288.x"},{"key":"e_1_3_2_1_11_1","volume-title":"Prima facie norms, normative conflicts, and dilemmas","author":"Goble L.","year":"2013","unstructured":"L. Goble . Prima facie norms, normative conflicts, and dilemmas . 2013 . In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, and L. van der Torre (Eds.), Handbook of Deontic Logic and Normative Systems , 241--352. L. Goble. Prima facie norms, normative conflicts, and dilemmas. 2013. In D. Gabbay, J. Horty, X. Parent, R. van der Meyden, and L. van der Torre (Eds.), Handbook of Deontic Logic and Normative Systems, 241--352."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645366.650790"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001529"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of APCCM","author":"Governatori G.","year":"2010","unstructured":"G. Governatori and A. Rotolo . 2010. A conceptually rich model of business process compliance . In Proceedings of APCCM 2010 , S. Link, A. Ghose (Eds.), 3--12. G. Governatori and A. Rotolo. 2010. A conceptually rich model of business process compliance. In Proceedings of APCCM 2010, S. Link, A. Ghose (Eds.), 3--12."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514601.2514638"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869584"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870378"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629630"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869304"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118478"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90056-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0219622006001812"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/3.6.907"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"P.E. Navarro and J.L. Rodriguez. 2014. Deontic logic and legal systems. Cambridge University Press Cambridge.  P.E. Navarro and J.L. Rodriguez. 2014. Deontic logic and legal systems. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9781139032711"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of AIML","author":"Nguyen L.A.","year":"2004","unstructured":"L.A. Nguyen . 2004 . On the complexity of fragments of modal logics . In Proceedings of AIML 2004, R.A. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing (Eds.), 249--268. L.A. Nguyen. 2004. On the complexity of fragments of modal logics. In Proceedings of AIML 2004, R.A. Schmidt, I. Pratt-Hartmann, M. Reynolds and H. Wansing (Eds.), 249--268."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"T. Nipkow L.C. Paulson and M. Wenzel. 2002. Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Springer Berlin.   T. Nipkow L.C. Paulson and M. Wenzel. 2002. Isabelle\/HOL. A Proof Assistant for Higher-Order Logic. Springer Berlin.","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of IWIL","author":"Otten J.","year":"2012","unstructured":"J. Otten . 2012 . Implementing connection calculi for first-order modal logics . In Proceedings of IWIL 2012, E. Ternovska, K. Korovin, S. Schulz (Eds.), 18--32. J. Otten. 2012. Implementing connection calculi for first-order modal logics. In Proceedings of IWIL 2012, E. Ternovska, K. Korovin, S. Schulz (Eds.), 18--32."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08587-6_20"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of JURIX","author":"Palmirani M.","year":"2018","unstructured":"M. Palmirani and G. Governatori . 2018. Modelling legal knowledge for GDPR compliance checking . In Proceedings of JURIX 2018 , V. Rodr\u00edguez-Doncel, P. Casanovas, J. Gonz\u00e1lez-Conejero, E. Montiel-Ponsoda (Eds.), 101--110. M. Palmirani and G. Governatori. 2018. Modelling legal knowledge for GDPR compliance checking. In Proceedings of JURIX 2018, V. Rodr\u00edguez-Doncel, P. Casanovas, J. Gonz\u00e1lez-Conejero, E. Montiel-Ponsoda (Eds.), 101--110."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370671"},{"key":"e_1_3_2_1_31_1","first-page":"3","article-title":"Intelligent computer evaluation of offender's previous record","volume":"13","author":"Schild U.","year":"2005","unstructured":"U. Schild and R. Kannai . 2005 . Intelligent computer evaluation of offender's previous record . Artificial Intelligence and Law. 13 , 3 - 4 (2005), 373--405. U. Schild and R. Kannai. 2005. Intelligent computer evaluation of offender's previous record. Artificial Intelligence and Law. 13, 3-4 (2005), 373--405.","journal-title":"Artificial Intelligence and Law."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of AIML","author":"Schmidt R.A.","year":"2006","unstructured":"R.A. Schmidt . 2006 . Developing modal tableaux and resolution methods via first-order resolution . In Proceedings of AIML 2006, G. Governatori, I.M. Hodkinson and Y. Venema (Eds.), 1--26. R.A. Schmidt. 2006. Developing modal tableaux and resolution methods via first-order resolution. In Proceedings of AIML 2006, G. Governatori, I.M. Hodkinson and Y. Venema (Eds.), 1--26."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of IJCAR","author":"Steen A.","year":"2018","unstructured":"A. Steen and C. Benzm\u00fcller . 2018. The higher-order prover Leo-III . In Proceedings of IJCAR 2018 . D. Galmiche, S. Schulz, R. Sebastiani (Eds.), 108--116. A. Steen and C. Benzm\u00fcller. 2018. The higher-order prover Leo-III. In Proceedings of IJCAR 2018. D. Galmiche, S. Schulz, R. Sebastiani (Eds.), 108--116."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1468-0394.2008.00503.x"},{"key":"e_1_3_2_1_36_1","first-page":"489","article-title":"Court room decision support system using case based reasoning. Procedia","volume":"129","author":"Wah T.K.","year":"2014","unstructured":"T.K. Wah and M. Muniandy . 2014 . Court room decision support system using case based reasoning. Procedia : Social and Behavioral Sciences 129 (2014), 489 -- 495 . T.K. Wah and M. Muniandy. 2014. Court room decision support system using case based reasoning. Procedia: Social and Behavioral Sciences 129 (2014), 489--495.","journal-title":"Social and Behavioral Sciences"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/222092.222235"}],"event":{"name":"ICAIL '19: Seventeenth International Conference on Artificial Intelligence and Law","location":"Montreal QC Canada","acronym":"ICAIL '19","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","Univ. of Montreal University of Montreal","AAAI","IAAIL Intl Asso for Artifical Intel & Law"]},"container-title":["Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322640.3326707","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322640.3326707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:58Z","timestamp":1750204438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322640.3326707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,17]]},"references-count":36,"alternative-id":["10.1145\/3322640.3326707","10.1145\/3322640"],"URL":"https:\/\/doi.org\/10.1145\/3322640.3326707","relation":{},"subject":[],"published":{"date-parts":[[2019,6,17]]},"assertion":[{"value":"2019-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}