Contract automata: An operational view of contracts between interactive parties

Mostrar todas las versiones(2)

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
Autores principales: Azzopardi, S., Pace, G.J., Schapachnik, F., Schneider, G.
Formato: INPR
Materias:
$$\\mathscr {C\\!L}$$CL
Contract automata
Deontic logic
Automata theory
Reconfigurable hardware
Semantics
AI and law
Deontic
Deontic Logic
Operational view
Computer circuits
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares