Artículo
Abstract:
Despite the fact that contracts are, by definition, an agreement between two or more parties, most formal studies limit themselves to contracts regulating only a single party or the parties independently of each other, without looking into how permissions, obligations or prohibitions of one party affect the other. This article deals with the analysis of what different types of permissions mean in the context of contracts. To give formal semantics we use an automata based formalism allowing to model for one party agreeing, delaying or plain refusing on performing certain actions that the other is attempting. This approach also yields a natural notion of contract strictness analysis for each party. © 2011 The authors and IOS Press. All rights reserved.
Registro:
| Documento: | Artículo |
| Título: | Permissions in contracts, a logical insight |
| Autor: | Pace, G.J.; Schapachnik, F. |
| Filiación: | University of Malta, Malta Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina |
| Palabras clave: | Automated Legislative Drafting; Contract Verification; Permissions; Formal methods; Semantics; Automata-based formalisms; Automated Legislative Drafting; Formal Semantics; Formal studies; Permissions; Strictness analysis; Laws and legislation |
| Año: | 2011 |
| Volumen: | 235 |
| Página de inicio: | 140 |
| Página de fin: | 144 |
| DOI: | http://dx.doi.org/10.3233/978-1-60750-981-3-140 |
| 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_v235_n_p140_Pace |
Referencias:
- Arnold, A., Nivat's processes and their synchronization (2002) Theor. Comput. Sci, 281, pp. 31-36. , June
- Governatori, G., Milosevic, Z., Dealing with contract violations: Formalism and domain specific language (2005) EDOC Enterprise Computing Conference 2005 Ninth IEEE International, pp. 46-57. , IEEE
- Herrestad, H., Krogh, C., Deontic logic relativised to bearers and counterparties (1995) Anniversary Anthology in Computers and Law, pp. 453-522
- Marjanovic, O., Milosevic, Z., Towards formal modeling of e-contracts (2001) Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing, EDOC '01, p. 59. , Washington, DC, USA. IEEE Computer Society
Citas:
---------- APA ----------
Pace, G.J. & Schapachnik, F. (2011) . Permissions in contracts, a logical insight. Frontiers in Artificial Intelligence and Applications, 235, 140-144.http://dx.doi.org/10.3233/978-1-60750-981-3-140
---------- CHICAGO ----------
Pace, G.J., Schapachnik, F. "Permissions in contracts, a logical insight" . Frontiers in Artificial Intelligence and Applications 235 (2011) : 140-144.http://dx.doi.org/10.3233/978-1-60750-981-3-140
---------- MLA ----------
Pace, G.J., Schapachnik, F. "Permissions in contracts, a logical insight" . Frontiers in Artificial Intelligence and Applications, vol. 235, 2011, pp. 140-144.http://dx.doi.org/10.3233/978-1-60750-981-3-140
---------- VANCOUVER ----------
Pace, G.J., Schapachnik, F. Permissions in contracts, a logical insight. Front. Artif. Intell. Appl. 2011;235:140-144.http://dx.doi.org/10.3233/978-1-60750-981-3-140
