5 search results - page 1 / 1 » Model Checking Norms and Sanctions in Institutions |
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
ESAW
2009
Springer
13 years 11 months ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
ACMICEC
2007
ACM
13 years 8 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
āThe import of the notion of institution in the design of MASs requires to develop formal and efļ¬cient methods for modeling the interaction between agentsā behaviour and norm...