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

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2016
Materias:
CL
Contract automata
Deontic logic
Automata theory
Chlorine
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09248463_v24_n3_p203_Azzopardi
http://hdl.handle.net/20.500.12110/paper_09248463_v24_n3_p203_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares