Please use this identifier to cite or link to this item:
Title: Conditional permissions in contracts
Authors: Pace, Gordon J.
Schapachnik, Fernando
Schneider, Gerardo
Keywords: Machine theory
Deontic logic
Formal methods (Computer science)
Issue Date: 2015
Publisher: IOS Press
Citation: Pace, G. J., Schapachnik, F., & Schneider, G. (2015). Conditional permissions in contracts. Frontiers in Artificial Intelligence and Applications, 279, 61-70.
Abstract: Defining and characterising conditional permissions has never been easy. Part of the problem, we believe, comes from the fact that there is not one but a whole family of possible deontic operators, all of them distinct and reasonable, that can be labelled as conditional permissions. In this article, rather than disputing the correct interpretation, we revisit a number of different interpretations the term has received in the literature, and propose appropriate formalisations for these interpretations within the context of contract automata.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
jurix2015.pdf251.41 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.