Contract Automata with Reparations

Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties us...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Azzopardi, S., Pace, G.J., Schapachnik, F., Hoekstra R.
Formato: SER
Materias:
Contracts
Deontic Logic
Interactive Systems
Normative Systems
Crime
Information systems
Contract violation
Deontic
Interactive system
Normative system
State based
Synchronous composition
Automata theory
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09226389_v271_n_p49_Azzopardi
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_09226389_v271_n_p49_Azzopardi
record_format dspace
spelling todo:paper_09226389_v271_n_p49_Azzopardi2023-10-03T15:45:48Z Contract Automata with Reparations Azzopardi, S. Pace, G.J. Schapachnik, F. Hoekstra R. Contracts Deontic Logic Interactive Systems Normative Systems Contracts Crime Information systems Contract violation Deontic Deontic Logic Interactive system Normative system State based Synchronous composition Automata theory Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automaton- and state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations. © 2014 The authors and IOS Press. All rights reserved. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09226389_v271_n_p49_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 Contracts
Deontic Logic
Interactive Systems
Normative Systems
Contracts
Crime
Information systems
Contract violation
Deontic
Deontic Logic
Interactive system
Normative system
State based
Synchronous composition
Automata theory
spellingShingle Contracts
Deontic Logic
Interactive Systems
Normative Systems
Contracts
Crime
Information systems
Contract violation
Deontic
Deontic Logic
Interactive system
Normative system
State based
Synchronous composition
Automata theory
Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Hoekstra R.
Contract Automata with Reparations
topic_facet Contracts
Deontic Logic
Interactive Systems
Normative Systems
Contracts
Crime
Information systems
Contract violation
Deontic
Deontic Logic
Interactive system
Normative system
State based
Synchronous composition
Automata theory
description Although contract reparations have been extensively studied in the context of deontic logics, there is not much literature using reparations in automata-based deontic approaches. Contract automata is a recent approach to modelling the notion of contract-based interaction between different parties using synchronous composition. However, it lacks the notion of reparations for contract violations. In this article we look into, and contrast different ways reparation can be added to an automaton- and state-based contract approach, extending contract automata with two forms of such clauses: catch-all reparations for violation and reparations for specific violations. © 2014 The authors and IOS Press. All rights reserved.
format SER
author Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Hoekstra R.
author_facet Azzopardi, S.
Pace, G.J.
Schapachnik, F.
Hoekstra R.
author_sort Azzopardi, S.
title Contract Automata with Reparations
title_short Contract Automata with Reparations
title_full Contract Automata with Reparations
title_fullStr Contract Automata with Reparations
title_full_unstemmed Contract Automata with Reparations
title_sort contract automata with reparations
url http://hdl.handle.net/20.500.12110/paper_09226389_v271_n_p49_Azzopardi
work_keys_str_mv AT azzopardis contractautomatawithreparations
AT pacegj contractautomatawithreparations
AT schapachnikf contractautomatawithreparations
AT hoekstrar contractautomatawithreparations
_version_ 1807318266957266944

Ejemplares similares