Multi-agents systems are composed of autonomous and possibly heterogeneous software
agents that act according to their own interests. Some coordination mechanism must be …

This paper addresses the problem of constructing a policy pipeline that enables compliance
checking of business processes against regulatory obligations. Towards this end, we …

Just as conventional institutions are organisational structures for coordinating the activities
of multiple interacting individuals, electronic institutions provide a computational analogue …

Correctly specifying the behaviour of normative systems such as contracts and institutions is
a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly …

The rapid development and increasing complexity of modern socio-technical systems
suggest an urgent need for systemic safety analysis approaches because traditional linear …

In multi-agent systems, norms are a usual way to regulate the behaviour of autonomous
agents. To be stable in different circumstances, norms are specified using high level terms …

In this paper we propose a use-case-driven iterative design methodology for normative
frameworks, also called virtual institutions, which are used to govern open systems. Our …

This paper is an invitation to carry out science and engineering for a class of socio-technical
systems where individuals¿ who may be human or artificial entities¿ engage in purposeful …

Multi-agent systems where the agents are developed by parties with competing interests,
and where there is no access to an agent's internal state, are often classified as 'open'. The …

In this paper, we discuss the potential role of answer set programming (ASP) in the context
of approaches to the development of agents and multi-agent systems especially in the realm …