It is recognised that institutions are potentially powerful means for making agent interactions
effective and efficient, but institutions will only really be useful when, as in other safety …

Music composition used to be a pen and paper activity. These days music is often composed
with the aid of computer software, even to the point where the computer composes parts of …

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 …

Various approaches exist to the application of Answer Set Programming (ASP) in the agent
realm. Nonetheless, a controversial point is how to combine answer set modules with the …

It is recognised that normative systems, and in particular electronic institutions and contracts
are a potentially powerful means for making agent interactions in multi-agent systems …

In this paper we discuss the use of the Answer Set Programming paradigm for representing
and analysing specifications of agent-based institutions. We outline the features of …

Multi-agent systems (MAS) can take many forms depending on the characteristics of the
agents populating them. Amongst the more demanding properties with respect to the design …

In this article, we introduce fuzzy equilibrium logic as a generalization of both Pearce
equilibrium logic and fuzzy answer set programming. The resulting framework combines the …

We present a multi-agent formalism based on extended answer set programming. The
system consists of independent agents connected via a communication channel, where …

This article studies a semantics of multiple logic programs, and synthesizes a program
having such a collective semantics. More precisely, the following two problems are …