{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:38:52Z","timestamp":1757543932872,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,10]],"date-time":"2013-06-10T00:00:00Z","timestamp":1370822400000},"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":[[2013,6,10]]},"DOI":"10.1145\/2514601.2514608","type":"proceedings-article","created":{"date-parts":[[2013,8,20]],"date-time":"2013-08-20T14:07:21Z","timestamp":1377007641000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Temporal deontic action logic for the verification of compliance to norms in ASP"],"prefix":"10.1145","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[{"name":"DISIT, Universit\u00e0 del Piemonte Orientale, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupr\u00e9","sequence":"additional","affiliation":[{"name":"DISIT, Universit\u00e0 del Piemonte Orientale, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"126","volume-title":"NORMAS","author":"Alberti M.","year":"2005","unstructured":"M. Alberti , M. Gavanelli , E. Lamma , P. Mello , P. Torroni , and G. Sartor . Mapping of Deontic Operators to Abductive Expectations . NORMAS , pages 126 -- 136 , 2005 . M. Alberti, M. Gavanelli, E. Lamma, P. Mello, P. Torroni, and G. Sartor. Mapping of Deontic Operators to Abductive Expectations. NORMAS, pages 126--136, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AMAI.0000031196.24935.b5"},{"key":"e_1_3_2_1_4_1","first-page":"118","article-title":"Bounded model checking","volume":"58","author":"Biere A.","year":"2003","unstructured":"A. Biere , A. Cimatti , E. M. Clarke , O. Strichman , and Y. Zhu . Bounded model checking . Advances in Computers , 58 : 118 -- 149 , 2003 . A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu. Bounded model checking. Advances in Computers, 58:118--149, 2003.","journal-title":"Advances in Computers"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786849_7"},{"key":"e_1_3_2_1_6_1","first-page":"82","volume-title":"I have to do tomorrow': A logical study of the propagation of obligations. In CLIMA, LNCS 5056","author":"Broersen J.","year":"2007","unstructured":"J. Broersen and J. Brunel . ' What I fail to do today , I have to do tomorrow': A logical study of the propagation of obligations. In CLIMA, LNCS 5056 , pages 82 -- 99 , 2007 . J. Broersen and J. Brunel. 'What I fail to do today, I have to do tomorrow': A logical study of the propagation of obligations. In CLIMA, LNCS 5056, pages 82--99, 2007."},{"key":"e_1_3_2_1_7_1","first-page":"43","volume-title":"DEON 04, LNCS 3065","author":"Broersen J.","year":"2004","unstructured":"J. Broersen , F. Dignum , V. Dignum , and J.-J. Ch. Meyer . Designing a deontic logic of deadlines . In DEON 04, LNCS 3065 , pages 43 -- 56 , 2004 . J. Broersen, F. Dignum, V. Dignum, and J.-J. Ch. Meyer. Designing a deontic logic of deadlines. In DEON 04, LNCS 3065, pages 43--56, 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11961536_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1893859.1893871"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001539"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646359.690116"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"e_1_3_2_1_13_1","first-page":"336","volume-title":"HICSS (5)","author":"Dignum F.","year":"1997","unstructured":"F. Dignum and R. Kuiper . Combining dynamic deontic logic and temporal logic for the specification of deadlines . In HICSS (5) , pages 336 -- 346 , 1997 . F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In HICSS (5), pages 336--346, 1997."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995","unstructured":"R. Fagin , J. Y. Halpern , Y. Moses , and M. Y. Vardi . Reasoning about Knowledge . MIT Press , 1995 . R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, 1995."},{"key":"e_1_3_2_1_15_1","volume-title":"Handbook of Knowledge Representation","author":"Gelfond M.","year":"2007","unstructured":"M. Gelfond . Answer Sets . Handbook of Knowledge Representation , chapter 7, Elsevier , 2007 . M. Gelfond. Answer Sets. Handbook of Knowledge Representation, chapter 7, Elsevier, 2007."},{"key":"e_1_3_2_1_16_1","first-page":"193","article-title":"Action languages","volume":"2","author":"Gelfond M.","year":"1998","unstructured":"M. Gelfond and V. Lifschitz . Action languages . Electron. Trans. Artif. Intell. , 2 : 193 -- 210 , 1998 . M. Gelfond and V. Lifschitz. Action languages. Electron. Trans. Artif. Intell., 2:193--210, 1998.","journal-title":"Electron. Trans. Artif. Intell."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"e_1_3_2_1_18_1","first-page":"316","volume-title":"KR","author":"De Giacomo G.","year":"1996","unstructured":"G. De Giacomo and M. Lenzerini . Tbox and abox reasoning in expressive description logics . In KR , pages 316 -- 327 , 1996 . G. De Giacomo and M. Lenzerini. Tbox and abox reasoning in expressive description logics. In KR, pages 316--327, 1996."},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. KIBP","author":"Giordano L.","year":"2012","unstructured":"L. Giordano , A. Martelli , M. Spiotta , and D. Theseider Dupr\u00e9 . Business processes verification with temporal ASP: from process annotations to data awareness . In Proc. KIBP 2012 . L. Giordano, A. Martelli, M. Spiotta, and D. Theseider Dupr\u00e9. Business processes verification with temporal ASP: from process annotations to data awareness. In Proc. KIBP 2012."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000639"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELAW.2010.5625356"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1781238.1781301"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.26686\/ajl.v4i0.1780"},{"key":"e_1_3_2_1_24_1","first-page":"426","volume-title":"IGI Global","author":"Governatori G.","year":"2009","unstructured":"G. Governatori and S. Sadiq . The journey to business process compliance. Handbook of Research on BPM , IGI Global , pages 426 -- 454 , 2009 . G. Governatori and S. Sadiq. The journey to business process compliance. Handbook of Research on BPM, IGI Global, pages 426--454, 2009."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001790"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(98)00039-6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-009-9179-7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929757.1929789"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026176900459"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.14"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1890507.1890512"},{"key":"e_1_3_2_1_33_1","first-page":"900","volume-title":"AAAI","author":"Palacios H.","year":"2006","unstructured":"H. Palacios and H. Geffner . Compiling uncertainty away: Solving conformant planning problems using a classical planner (sometimes) . In AAAI , pages 900 -- 905 , 2006 . H. Palacios and H. Geffner. Compiling uncertainty away: Solving conformant planning problems using a classical planner (sometimes). In AAAI, pages 900--905, 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"H. Prakken. Logical Tools for Modelling Legal Argument. 1997. H. Prakken. Logical Tools for Modelling Legal Argument . 1997.","DOI":"10.1007\/978-94-015-8975-8"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645374.651030"},{"key":"e_1_3_2_1_37_1","first-page":"31","volume-title":"LNCS(LNAI) 1916","author":"Singh M. P.","year":"2000","unstructured":"M. P. Singh . A social semantics for Agent Communication Languages. Issues in Agent Communication , LNCS(LNAI) 1916 , pages 31 -- 45 , 2000 . M. P. Singh. A social semantics for Agent Communication Languages. Issues in Agent Communication, LNCS(LNAI) 1916, pages 31--45, 2000."},{"key":"e_1_3_2_1_38_1","volume-title":"Deon'2000","author":"van der Torre L.","year":"2000","unstructured":"L. van der Torre . Causal deontic logic . In Deon'2000 , 2000 . L. van der Torre. Causal deontic logic. In Deon'2000, 2000."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010056221226"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-010-7060-9"}],"event":{"name":"ICAIL '13: International Conference on Artificial Intelligence and Law","sponsor":["ITTIG-CNR Istituto di Teoria e Tecniche dell'Informazione Giuridica - Consiglio Nazionale delle Ricerche","IAAIL Intl Asso for Artifical Intel & Law","SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"Rome Italy","acronym":"ICAIL '13"},"container-title":["Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514608","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2514601.2514608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:18Z","timestamp":1750235958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2514601.2514608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,10]]},"references-count":41,"alternative-id":["10.1145\/2514601.2514608","10.1145\/2514601"],"URL":"https:\/\/doi.org\/10.1145\/2514601.2514608","relation":{},"subject":[],"published":{"date-parts":[[2013,6,10]]},"assertion":[{"value":"2013-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}