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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	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
Formato:	CONF
Materias:	Automated legislative drafting Deontic logic Model checking regulations Artificial intelligence Laws and legislation Deontic Logic Language constructs Legal documents Legal modeling Performance improvements Real case Model checking
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p59_Faciano
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

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

Performance improvement on legal model checking

Ejemplares similares