Contract Automata with Reparations
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 us...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
IOS Press
2014
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04120caa a22005777a 4500 | ||
|---|---|---|---|
| 001 | PAPER-14604 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204509.0 | ||
| 008 | 190411s2014 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84948659760 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Azzopardi, S. | |
| 245 | 1 | 0 | |a Contract Automata with Reparations |
| 260 | |b IOS Press |c 2014 | ||
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Basile, D., Degano, P., Ferrari, G.-L., Automata for service contracts (2014) Hot Issues in Security Principles and Trust 2014 | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a Hage, J., Contrary to duty obligations - A study in legal ontology (2001) Legal Knowledge and Information Systems (JURIX 2001), , December | ||
| 504 | |a 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 - | ||
| 520 | 3 | |a 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. |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 CONTRACTS |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a INTERACTIVE SYSTEMS |
| 690 | 1 | 0 | |a NORMATIVE SYSTEMS |
| 690 | 1 | 0 | |a CONTRACTS |
| 690 | 1 | 0 | |a CRIME |
| 690 | 1 | 0 | |a INFORMATION SYSTEMS |
| 690 | 1 | 0 | |a CONTRACT VIOLATION |
| 690 | 1 | 0 | |a DEONTIC |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a INTERACTIVE SYSTEM |
| 690 | 1 | 0 | |a NORMATIVE SYSTEM |
| 690 | 1 | 0 | |a STATE BASED |
| 690 | 1 | 0 | |a SYNCHRONOUS COMPOSITION |
| 690 | 1 | 0 | |a AUTOMATA THEORY |
| 700 | 1 | |a Pace, G.J. | |
| 700 | 1 | |a Schapachnik, F. | |
| 700 | 1 | |a Hoekstra R. | |
| 711 | 2 | |d 10 December 2014 through 12 December 2014 |g Código de la conferencia: 116903 | |
| 773 | 0 | |d IOS Press, 2014 |g v. 271 |h pp. 49-54 |p Front. Artif. Intell. Appl. |n Frontiers in Artificial Intelligence and Applications |x 09226389 |z 9781614994671 |t 27th International Conference on Legal Knowledge and Information Systems, JURIX 2014 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84948659760&doi=10.3233%2f978-1-61499-468-8-49&partnerID=40&md5=6e3e40dbbc9ec4fc9739c2d276fa5be2 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.3233/978-1-61499-468-8-49 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_09226389_v271_n_p49_Azzopardi |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09226389_v271_n_p49_Azzopardi |y Registro en la Biblioteca Digital |
| 961 | |a paper_09226389_v271_n_p49_Azzopardi |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 75557 | ||