Contract automata: An operational view of contracts between interactive parties

Mostrar otras versiones (4)

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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Azzopardi, S.
Otros Autores:	Pace, G.J, Schapachnik, F., Schneider, G.
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í Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires