Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …

Module checking is a decision problem to formalize the verification of (possibly multi-agent)
systems that must adapt their behavior to the input they receive from the environment, also …

The increasing presence of autonomous (software) systems in open environments in
general, and the complex interactions taking place among them in particular, require flexible …

Coordination in open multi-agent systems (MAS) can reduce costs to agents associated with
conflicting goals and actions, allowing artificial societies to attain higher levels of aggregate …

In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor
is imperfect for a norm if it has insufficient observational capabilities to determine if a given …

We consider the problem of updating a multi-agent system with a set of conditional norms. A
norm comes into effect when its condition becomes true, and imposes either an obligation or …

Different methodological strategies of social norms bases study have been offered in the
context of social theory. Heuristic potentials of ontological, sociocultural and axiological …

This article presents a high-level overview of the literature on norms and their uses in multi-
agent systems. We distinguish the main types of norms used in multi-agent systems, and the …

Norms have been widely proposed as a means of coordinating and controlling the
behaviour of agents in a multi-agent system. A key challenge in normative MAS is norm …

In the agents' literature, norms have been studied from multiple perspectives, but while
formalisations tend to be disconnected from possible implementations due to the lack of …