Contract automata: An operational view of contracts between interactive parties
Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formali...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
Springer Netherlands
2016
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 02983caa a22004937a 4500 | ||
|---|---|---|---|
| 001 | PAPER-15713 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518204629.0 | ||
| 008 | 170725s2016 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-84988369436 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 030 | |a AINLE | ||
| 100 | 1 | |a Azzopardi, S. | |
| 245 | 1 | 0 | |a Contract automata: An operational view of contracts between interactive parties |
| 260 | |b Springer Netherlands |c 2016 | ||
| 270 | 1 | 0 | |m Schapachnik, F.; Departamento de Computación, FCEyN, Universidad de Buenos AiresArgentina; email: fschapachnik@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 520 | 3 | |a Deontic logic as a way of formally reasoning about norms, an important area in AI and law, has traditionally concerned itself about formalising provisions of general statutes. Despite the long history of deontic logic, given the wide scope of the logic, it is difficult, if not impossible, to formalise all these notions in a single formalism, and there are still ongoing debates on appropriate semantics for deontic modalities in different contexts. In this paper, we restrict our attention to contracts between interactive parties, which are both general enough to be an interesting object of study but specific enough so as to narrow down the debates regarding the meaning of modalities, and present a formalism for reasoning about them. © 2016 Springer Science+Business Media Dordrecht |l eng | |
| 536 | |a Article in Press | ||
| 593 | |a Department of Computer Science, University of Malta, Msida, Malta | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina | ||
| 593 | |a Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden | ||
| 690 | 1 | 0 | |a {ARS}{ARS}MATHSCR {C!L}{ARS}{ARS}CL |
| 690 | 1 | 0 | |a CONTRACT AUTOMATA |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a AUTOMATA THEORY |
| 690 | 1 | 0 | |a RECONFIGURABLE HARDWARE |
| 690 | 1 | 0 | |a SEMANTICS |
| 690 | 1 | 0 | |a AI AND LAW |
| 690 | 1 | 0 | |a DEONTIC |
| 690 | 1 | 0 | |a DEONTIC LOGIC |
| 690 | 1 | 0 | |a OPERATIONAL VIEW |
| 690 | 1 | 0 | |a COMPUTER CIRCUITS |
| 700 | 1 | |a Pace, G.J. | |
| 700 | 1 | |a Schapachnik, F. | |
| 700 | 1 | |a Schneider, G. | |
| 773 | 0 | |d Springer Netherlands, 2016 |h pp. 1-41 |x 09248463 |t Artif Intell Law | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-84988369436&doi=10.1007%2fs10506-016-9185-2&partnerID=40&md5=7cda176b19715d676c895b5e7c5a80d7 |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10506-016-9185-2 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v_n_p1_Azzopardi |y Registro en la Biblioteca Digital |
| 961 | |a paper_09248463_v_n_p1_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 76666 | ||