Artículo
Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Hoekstra R. "Contract Automata with Reparations" (2014) 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014. 271:49-54
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automaton- and state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations. © 2014 The authors and IOS Press. All rights reserved.
Registro:
| Documento: | Artículo |
| Título: | Contract Automata with Reparations |
| Autor: | Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Hoekstra R. |
| Filiación: | University of Malta, Malta Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina |
| Palabras clave: | Contracts; Deontic Logic; Interactive Systems; Normative Systems; Contracts; Crime; Information systems; Contract violation; Deontic; Deontic Logic; Interactive system; Normative system; State based; Synchronous composition; Automata theory |
| Año: | 2014 |
| Volumen: | 271 |
| Página de inicio: | 49 |
| Página de fin: | 54 |
| DOI: | http://dx.doi.org/10.3233/978-1-61499-468-8-49 |
| Título revista: | 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014 |
| Título revista abreviado: | Front. Artif. Intell. Appl. |
| ISSN: | 09226389 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v271_n_p49_Azzopardi |
Referencias:
- Basile, D., Degano, P., Ferrari, G.-L., Automata for service contracts (2014) Hot Issues in Security Principles and Trust 2014
- Díaz, G., Cambronero, M.E., Martínez, E., Schneider, G., Specification and verification of normative texts using C-O diagrams (2013) IEEE Transactions on Software Engineering, 99, p. 1
- Fenech, S., Pace, G.J., Schneider, G., Automatic conflict detection on contracts (2009) Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), 5684. , of Lecture Notes in Computer Science. Springer Verlag
- Governatori, G., Rotolo, A., Logic of violations: A gentzen system for reasoning with contrary-To-duty obligations (2006) The Australasian Journal of Logic, 4, pp. 193-215
- Hage, J., Contrary to duty obligations - A study in legal ontology (2001) Legal Knowledge and Information Systems (JURIX 2001), , December
- Pace, G.J., Schapachnik, F., Contracts for interacting two-party systems (2012) Proceedings of Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'12), 94. , of Electronic Proceedings in Theoretical Computer ScienceA4 -
Citas:
---------- APA ----------
Azzopardi, S., Pace, G.J., Schapachnik, F. & Hoekstra R. (2014) . Contract Automata with Reparations. 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014, 271, 49-54.http://dx.doi.org/10.3233/978-1-61499-468-8-49
---------- CHICAGO ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Hoekstra R. "Contract Automata with Reparations" . 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014 271 (2014) : 49-54.http://dx.doi.org/10.3233/978-1-61499-468-8-49
---------- MLA ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Hoekstra R. "Contract Automata with Reparations" . 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014, vol. 271, 2014, pp. 49-54.http://dx.doi.org/10.3233/978-1-61499-468-8-49
---------- VANCOUVER ----------
Azzopardi, S., Pace, G.J., Schapachnik, F., Hoekstra R. Contract Automata with Reparations. Front. Artif. Intell. Appl. 2014;271:49-54.http://dx.doi.org/10.3233/978-1-61499-468-8-49
