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

id	todo:paper_09248463_v_n_p1_Azzopardi
record_format	dspace
spelling	todo:paper_09248463_v_n_p1_Azzopardi2023-10-03T15:46:03Z Contract automata: An operational view of contracts between interactive parties Azzopardi, S. Pace, G.J. Schapachnik, F. Schneider, G. $$\\mathscr {C\\!L}$$CL Contract automata Deontic logic Automata theory Reconfigurable hardware Semantics AI and law Deontic Deontic Logic Operational view Computer circuits 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 Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. INPR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	$$\\mathscr {C\\!L}$$CL Contract automata Deontic logic Automata theory Reconfigurable hardware Semantics AI and law Deontic Deontic Logic Operational view Computer circuits
spellingShingle	$$\\mathscr {C\\!L}$$CL Contract automata Deontic logic Automata theory Reconfigurable hardware Semantics AI and law Deontic Deontic Logic Operational view Computer circuits Azzopardi, S. Pace, G.J. Schapachnik, F. Schneider, G. Contract automata: An operational view of contracts between interactive parties
topic_facet	$$\\mathscr {C\\!L}$$CL Contract automata Deontic logic Automata theory Reconfigurable hardware Semantics AI and law Deontic Deontic Logic Operational view Computer circuits
description	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
format	INPR
author	Azzopardi, S. Pace, G.J. Schapachnik, F. Schneider, G.
author_facet	Azzopardi, S. Pace, G.J. Schapachnik, F. Schneider, G.
author_sort	Azzopardi, S.
title	Contract automata: An operational view of contracts between interactive parties
title_short	Contract automata: An operational view of contracts between interactive parties
title_full	Contract automata: An operational view of contracts between interactive parties
title_fullStr	Contract automata: An operational view of contracts between interactive parties
title_full_unstemmed	Contract automata: An operational view of contracts between interactive parties
title_sort	contract automata: an operational view of contracts between interactive parties
url	http://hdl.handle.net/20.500.12110/paper_09248463_v_n_p1_Azzopardi
work_keys_str_mv	AT azzopardis contractautomataanoperationalviewofcontractsbetweeninteractiveparties AT pacegj contractautomataanoperationalviewofcontractsbetweeninteractiveparties AT schapachnikf contractautomataanoperationalviewofcontractsbetweeninteractiveparties AT schneiderg contractautomataanoperationalviewofcontractsbetweeninteractiveparties
_version_	1807319104618496000

Contract automata: An operational view of contracts between interactive parties

Ejemplares similares