The use of multi-agent systems (MAS) in health-care domains is increasing. Such agent-
mediated medical systems can manage complex tasks and have the potential to adapt …

" It is not the consciousness of men that defines their existence, but, on the contrary, their
social existence determines their consciousness." Karl Marx In recent years, several …

This paper proposes a rule language for defining social expectations based on a metric
interval temporal logic with past and future modalities and a current-time binding operator …

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 by …

Institutions have been proposed as a means to regulate open interaction systems by
introducing a set of norms (involving deontic positions like authorizations, obligations …

In this paper, we propose a new method of testing concurrent systems by using an artificial
intelligence technique: reinforcement learning. In particular, the method verifies the liveness …

To increase positive expectations in the outcome of open multiagent systems, institutions
have been put forward to regulate agents' behaviour. To model and to verify such …

In distributed open systems, such as multiagent systems, new interactions are constantly
appearing and new agents are continuously joining or leaving. It is unrealistic to expect …

Institutions have been proposed to explicitly represent norms in open multi-agent systems,
where agents may not follow them and which therefore require mechanisms to detect …