While procedural languages are commonly used to program smart contracts in blockchain
systems, logic-based languages may be interesting alternatives. In this paper, we inspect …

Norms are utilised in agent societies to encourage acceptable behaviour by the participating
agents. They can be established or revised from the top-down (authority) or from the bottom …

A bounded-reasoning agent may face two dimensions of uncertainty: firstly, the uncertainty
arising from partial information and conflicting reasons, and secondly, the uncertainty arising …

This chapter provides an analysis of defeasible legal reasoning as argumentation. It first
provides a general account of the idea of defeasibility and introduces the idea of …

Many open networks, distributed computing systems, and infrastructure management
systems face a common problem: how to distribute a collectivised set of resources amongst …

Since multi-agent systems are inspired by human societies, they do not only borrow their
coordination mechanisms such as conventions and norms, but also need to consider the …

The combination of argumentation and probability paves the way to new accounts of
qualitative and quantitative uncertainty, thereby offering new theoretical and applicative …

Multi-agent systems (MAS) have gained relevance in the field of artificial intelligence by
offering tools for modelling complex environments where autonomous agents interact to …

Strategic Argumentation is NP-Complete Page 1 Strategic Argumentation is NP-Complete G.
Governatori1,2,5 F. Olivieri1,2,3 S. Scannapieco1,2,3 A. Rotolo4 M. Cristani3 Abstract. We …

Norms provide a valuable mechanism for establishing coherent cooperative behaviour in
decentralised systems in which there is no central authority. One of the most influential …