Performance improvement on legal model checking
This article describes several performance improvements that allowed FL, a tool developed to model check legal documents to nd coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space...
Guardado en:
Autores principales: | , , , , , , , , , |
---|---|
Formato: | CONF |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p59_Faciano |
Aporte de: |
id |
todo:paper_97814503_v_n_p59_Faciano |
---|---|
record_format |
dspace |
spelling |
todo:paper_97814503_v_n_p59_Faciano2023-10-03T16:43:19Z Performance improvement on legal model checking Faciano, C. Di Iorio, A.H. Giaccaglia, M.F. Mera, S. Clara, B.L. Rua, M.B. Schapachnik, F. Uriarte, V. Marcos, C. Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans Automated legislative drafting Deontic logic Model checking regulations Artificial intelligence Laws and legislation Automated legislative drafting Deontic Logic Language constructs Legal documents Legal modeling Performance improvements Real case Model checking This article describes several performance improvements that allowed FL, a tool developed to model check legal documents to nd coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and ltering language constructs that are used to encode the law. © 2017 Copyright held by the owner/author(s). CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p59_Faciano |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Automated legislative drafting Deontic logic Model checking regulations Artificial intelligence Laws and legislation Automated legislative drafting Deontic Logic Language constructs Legal documents Legal modeling Performance improvements Real case Model checking |
spellingShingle |
Automated legislative drafting Deontic logic Model checking regulations Artificial intelligence Laws and legislation Automated legislative drafting Deontic Logic Language constructs Legal documents Legal modeling Performance improvements Real case Model checking Faciano, C. Di Iorio, A.H. Giaccaglia, M.F. Mera, S. Clara, B.L. Rua, M.B. Schapachnik, F. Uriarte, V. Marcos, C. Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans Performance improvement on legal model checking |
topic_facet |
Automated legislative drafting Deontic logic Model checking regulations Artificial intelligence Laws and legislation Automated legislative drafting Deontic Logic Language constructs Legal documents Legal modeling Performance improvements Real case Model checking |
description |
This article describes several performance improvements that allowed FL, a tool developed to model check legal documents to nd coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and ltering language constructs that are used to encode the law. © 2017 Copyright held by the owner/author(s). |
format |
CONF |
author |
Faciano, C. Di Iorio, A.H. Giaccaglia, M.F. Mera, S. Clara, B.L. Rua, M.B. Schapachnik, F. Uriarte, V. Marcos, C. Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans |
author_facet |
Faciano, C. Di Iorio, A.H. Giaccaglia, M.F. Mera, S. Clara, B.L. Rua, M.B. Schapachnik, F. Uriarte, V. Marcos, C. Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans |
author_sort |
Faciano, C. |
title |
Performance improvement on legal model checking |
title_short |
Performance improvement on legal model checking |
title_full |
Performance improvement on legal model checking |
title_fullStr |
Performance improvement on legal model checking |
title_full_unstemmed |
Performance improvement on legal model checking |
title_sort |
performance improvement on legal model checking |
url |
http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p59_Faciano |
work_keys_str_mv |
AT facianoc performanceimprovementonlegalmodelchecking AT diiorioah performanceimprovementonlegalmodelchecking AT giaccagliamf performanceimprovementonlegalmodelchecking AT meras performanceimprovementonlegalmodelchecking AT clarabl performanceimprovementonlegalmodelchecking AT ruamb performanceimprovementonlegalmodelchecking AT schapachnikf performanceimprovementonlegalmodelchecking AT uriartev performanceimprovementonlegalmodelchecking AT marcosc performanceimprovementonlegalmodelchecking AT articialintelligencejournalkingscollegelondonmishcondereyatheinternationalassociationforarticialintelligenceandlawthomsonreutersweightmans performanceimprovementonlegalmodelchecking |
_version_ |
1782028350948114432 |