Permissions in contracts, a logical insight
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 af...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
IOS Press
2011
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 03489caa a22004937a 4500 | ||
|---|---|---|---|
| 001 | PAPER-10000 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204000.0 | ||
| 008 | 190411s2011 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-83655191578 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Pace, G.J. | |
| 245 | 1 | 0 | |a Permissions in contracts, a logical insight |
| 260 | |b IOS Press |c 2011 | ||
| 270 | 1 | 0 | |m Pace, G.J.; University of MaltaMalta; email: gordon.pace@um.edu.mt |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Arnold, A., Nivat's processes and their synchronization (2002) Theor. Comput. Sci, 281, pp. 31-36. , June | ||
| 504 | |a 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 | ||
| 504 | |a Herrestad, H., Krogh, C., Deontic logic relativised to bearers and counterparties (1995) Anniversary Anthology in Computers and Law, pp. 453-522 | ||
| 504 | |a 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 | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a University of Malta, Malta | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina | ||
| 690 | 1 | 0 | |a AUTOMATED LEGISLATIVE DRAFTING |
| 690 | 1 | 0 | |a CONTRACT VERIFICATION |
| 690 | 1 | 0 | |a PERMISSIONS |
| 690 | 1 | 0 | |a FORMAL METHODS |
| 690 | 1 | 0 | |a SEMANTICS |
| 690 | 1 | 0 | |a AUTOMATA-BASED FORMALISMS |
| 690 | 1 | 0 | |a AUTOMATED LEGISLATIVE DRAFTING |
| 690 | 1 | 0 | |a FORMAL SEMANTICS |
| 690 | 1 | 0 | |a FORMAL STUDIES |
| 690 | 1 | 0 | |a PERMISSIONS |
| 690 | 1 | 0 | |a STRICTNESS ANALYSIS |
| 690 | 1 | 0 | |a LAWS AND LEGISLATION |
| 700 | 1 | |a Schapachnik, F. | |
| 773 | 0 | |d IOS Press, 2011 |g v. 235 |h pp. 140-144 |p Front. Artif. Intell. Appl. |x 09226389 |z 9781607509806 |t Frontiers in Artificial Intelligence and Applications | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-83655191578&doi=10.3233%2f978-1-60750-981-3-140&partnerID=40&md5=0478b2bde92eb6faf9a4e3454190cad9 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.3233/978-1-60750-981-3-140 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_09226389_v235_n_p140_Pace |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v235_n_p140_Pace |y Registro en la Biblioteca Digital |
| 961 | |a paper_09226389_v235_n_p140_Pace |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 70953 | ||