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...
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 ...
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...
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...
Leendert W. N. van der Torre, Joris Hulstijn, Mehd...
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...