14331 search results - page 18 / 2867 » On the modeling and analysis of obligations |
EUMAS
2006
15 years 1 months ago
2006
To investigate the interdependencies existing among deontic positions (like powers and obligations) and the ontology defined by an institution, we have proposed to model instituti...
114
click to vote
WOA
2003
15 years 1 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
CMOT
2006
14 years 11 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
120
click to vote
JLP
2008
14 years 11 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
100
click to vote
IC3
2009
14 years 9 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...