Artículo
Gorín, D.; Mera, S.; Schapachnik, F. "Model checking legal documents" (2010) Frontiers in Artificial Intelligence and Applications. 223:151-154
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems. © 2010 The authors and IOS Press. All rights reserved.
Registro:
| Documento: | Artículo |
| Título: | Model checking legal documents |
| Autor: | Gorín, D.; Mera, S.; Schapachnik, F. |
| Filiación: | Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina |
| Palabras clave: | Automated Legislative Drafting; Model Checking Regulations; Laws and legislation; Automated Legislative Drafting; Automatic analysis; Legal documents; Model checker; Normative system; Software Specification; Toolsets; Model checking |
| Año: | 2010 |
| Volumen: | 223 |
| Página de inicio: | 151 |
| Página de fin: | 154 |
| DOI: | http://dx.doi.org/10.3233/978-1-60750-682-9-151 |
| Título revista: | Frontiers in Artificial Intelligence and Applications |
| Título revista abreviado: | Front. Artif. Intell. Appl. |
| ISSN: | 09226389 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v223_n_p151_Gorin |
Referencias:
- Fenech, S., Pace, G.J., Schneider, G., Automatic conflict detection on contracts (2009) ICTAC 09: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing, pp. 200-214. , Berlin, Heidelberg Springer-Verlag
- Gorín, D., Mera, S., Schapachnik, F., FL: A legal drafting language based on models Technical Report GMS-2010-2, , http://publicaciones.dc.uba.ar/Publications/2010/GMS10a, FCEyN, Universidad de Buenos Aires September 2010
- Gorín, D., Mera, S., Schapachnik, F., Model checking legal documents Technical Report GMS-2010-1, , http://publicaciones.dc.uba.ar/Publications/2010/GMS10, FCEyN, Universidad de Buenos Aires September 2010
- Hansen, J., Pigozzi, G., Leendert, W., Van Der Torre, N., Ten philosophical problems in deontic logic (2007) Normative Multi-agent Systems 07122 of Dagstuhl Seminar Proceedings, , Guido Boella Leendert W. N. van der Torre and Harko Verhagen editors. Internationales Begegnungs- und Forschungszentrum fr Informatik (IBFI), Schloss Dagstuhl, Germany
Citas:
---------- APA ----------
Gorín, D., Mera, S. & Schapachnik, F. (2010) . Model checking legal documents. Frontiers in Artificial Intelligence and Applications, 223, 151-154.http://dx.doi.org/10.3233/978-1-60750-682-9-151
---------- CHICAGO ----------
Gorín, D., Mera, S., Schapachnik, F. "Model checking legal documents" . Frontiers in Artificial Intelligence and Applications 223 (2010) : 151-154.http://dx.doi.org/10.3233/978-1-60750-682-9-151
---------- MLA ----------
Gorín, D., Mera, S., Schapachnik, F. "Model checking legal documents" . Frontiers in Artificial Intelligence and Applications, vol. 223, 2010, pp. 151-154.http://dx.doi.org/10.3233/978-1-60750-682-9-151
---------- VANCOUVER ----------
Gorín, D., Mera, S., Schapachnik, F. Model checking legal documents. Front. Artif. Intell. Appl. 2010;223:151-154.http://dx.doi.org/10.3233/978-1-60750-682-9-151
