354 search results - page 25 / 71 » On Obligations |
150
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
159
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
143
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
182
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
123
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Electronic inter-organizational relationships are governed by contracts regulating their interaction. It is necessary to run-time monitor the contracts, as to guarantee their fulfi...