{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:48Z","timestamp":1750306128595,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,12]],"date-time":"2017-06-12T00:00:00Z","timestamp":1497225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"UBACyT","award":["20020130200032BA"],"award-info":[{"award-number":["20020130200032BA"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,6,12]]},"DOI":"10.1145\/3086512.3086518","type":"proceedings-article","created":{"date-parts":[[2017,12,21]],"date-time":"2017-12-21T17:00:12Z","timestamp":1513875612000},"page":"59-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Performance improvement on legal model checking"],"prefix":"10.1145","author":[{"given":"Carlos","family":"Faciano","sequence":"first","affiliation":[{"name":"Universidad de Buenos Aires, Argentina"}]},{"given":"Sergio","family":"Mera","sequence":"additional","affiliation":[{"name":"Universidad de Buenos Aires, Argentina"}]},{"given":"Fernando","family":"Schapachnik","sequence":"additional","affiliation":[{"name":"Universidad de Buenos Aires, Argentina"}]},{"given":"Ana Hayd\u00e9e","family":"Di Iorio","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]},{"given":"Bibiana Luz","family":"Clara","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]},{"given":"Ver\u00f3nica","family":"Uriarte","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]},{"given":"Mar\u00eda Fernanda","family":"Giaccaglia","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]},{"given":"Mar\u00eda Bel\u00e9n","family":"Ruffa","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]},{"given":"Cristian","family":"Marcos","sequence":"additional","affiliation":[{"name":"Universidad FASTA, Mar del Plata, Argentina"}]}],"member":"320","published-online":{"date-parts":[[2017,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_2_1","unstructured":"Juan Pablo Benedetti. 2014. Improving F<scp>orma<\/scp>L<scp>ex<\/scp> a tool for normative analysis and automatic flaw detection. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2014\/benedetti.pdf  Juan Pablo Benedetti. 2014. Improving F<scp>orma<\/scp>L<scp>ex<\/scp> a tool for normative analysis and automatic flaw detection. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2014\/benedetti.pdf"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Alessandro Cimatti Enrico Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002. Integrating BDD-Based and SAT-Based Symbolic Model Checking. Springer Berlin Heidelberg Berlin Heidelberg 49--56.   Alessandro Cimatti Enrico Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002. Integrating BDD-Based and SAT-Based Symbolic Model Checking. Springer Berlin Heidelberg Berlin Heidelberg 49--56.","DOI":"10.1007\/3-540-45988-X_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2014.2341236"},{"key":"e_1_3_2_1_6_1","unstructured":"Carlos Faciano. 2016. Optimizing the peformance of the FormaLex legal coherence checker. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2016\/faciano.pdf  Carlos Faciano. 2016. Optimizing the peformance of the FormaLex legal coherence checker. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2016\/faciano.pdf"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13365-2_6"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"volume-title":"Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010. 111--115","year":"2010","author":"Gor\u00edn Daniel","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.68.7"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746090.2746105"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2009.030985"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514601.2514638"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Orna Grumberg and Helmut Veith. 2008. 25 years of model checking: history achievements perspectives. Vol. 5000. Springer.   Orna Grumberg and Helmut Veith. 2008. 25 years of model checking: history achievements perspectives. Vol. 5000. Springer.","DOI":"10.1007\/978-3-540-69850-0"},{"key":"e_1_3_2_1_16_1","unstructured":"Mar\u00eda Celeste Gunski and Melisa Gabriela Raiczyk. 2016. FormaLex: improving expressive power of the FL language for the detection of normative flaws. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2016\/gunski.pdf  Mar\u00eda Celeste Gunski and Melisa Gabriela Raiczyk. 2016. FormaLex: improving expressive power of the FL language for the detection of normative flaws. Master's thesis. Depto de Computaci\u00f3n Facultad de Ciencias Exactas y Naturales UBA. http:\/\/www.dc.uba.ar\/inv\/tesis\/licenciatura\/2016\/gunski.pdf"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2697419.2697561"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04985-9_29"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"G. Pace C. Prisacariu and G. Schneider. 2007. Model Checking Contracts - A Case Study. Automated Technology for Verification and Analysis (2007) 82--97.   G. Pace C. Prisacariu and G. Schneider. 2007. Model Checking Contracts - A Case Study. Automated Technology for Verification and Analysis (2007) 82--97.","DOI":"10.1007\/978-3-540-75596-8_8"},{"volume-title":"Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10--11","year":"2015","author":"Pace Gordon J.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24593-3_21"},{"volume-title":"CIIDDI","year":"2014","author":"Sznur Sebasti\u00e1n","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-012-0281-9"},{"volume-title":"Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004","year":"2005","author":"Wo\u017ana Bozena","key":"e_1_3_2_1_24_1"}],"event":{"name":"ICAIL '17: Sixteenth International Conference on Artificial Intelligence and Law","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"],"location":"London United Kingdom","acronym":"ICAIL '17"},"container-title":["Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3086512.3086518","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3086512.3086518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:01Z","timestamp":1750217821000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3086512.3086518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,12]]},"references-count":24,"alternative-id":["10.1145\/3086512.3086518","10.1145\/3086512"],"URL":"https:\/\/doi.org\/10.1145\/3086512.3086518","relation":{},"subject":[],"published":{"date-parts":[[2017,6,12]]},"assertion":[{"value":"2017-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}