Synthesising implicit contracts
In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overre...
| Autor principal: | |
|---|---|
| Publicado: |
2013
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p217_Pace http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p217_Pace |
| Aporte de: |
| id |
paper:paper_97814503_v_n_p217_Pace |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_97814503_v_n_p217_Pace2023-06-08T16:37:31Z Synthesising implicit contracts Schapachnik, Fernando Pablo Automated Legislative Drafting Contract Synthesis Action-based systems Automated Legislative Drafting Interactive system Artificial intelligence Automata theory In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In this paper we characterise such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2013 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p217_Pace http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p217_Pace |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Automated Legislative Drafting Contract Synthesis Action-based systems Automated Legislative Drafting Interactive system Artificial intelligence Automata theory |
| spellingShingle |
Automated Legislative Drafting Contract Synthesis Action-based systems Automated Legislative Drafting Interactive system Artificial intelligence Automata theory Schapachnik, Fernando Pablo Synthesising implicit contracts |
| topic_facet |
Automated Legislative Drafting Contract Synthesis Action-based systems Automated Legislative Drafting Interactive system Artificial intelligence Automata theory |
| description |
In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In this paper we characterise such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems. |
| author |
Schapachnik, Fernando Pablo |
| author_facet |
Schapachnik, Fernando Pablo |
| author_sort |
Schapachnik, Fernando Pablo |
| title |
Synthesising implicit contracts |
| title_short |
Synthesising implicit contracts |
| title_full |
Synthesising implicit contracts |
| title_fullStr |
Synthesising implicit contracts |
| title_full_unstemmed |
Synthesising implicit contracts |
| title_sort |
synthesising implicit contracts |
| publishDate |
2013 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p217_Pace http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p217_Pace |
| work_keys_str_mv |
AT schapachnikfernandopablo synthesisingimplicitcontracts |
| _version_ |
1768545119176228864 |