The ability to build arguments that express thoughts is crucial for intelligent interactions
among human beings. Thus, argumentation techniques have been applied for years in …

The capability of reaching agreements is a necessary feature that large computer systems
where agents interoperate must include. In these systems, agents represent self-motivated …

Frameworks for arguing about coalitions are based on non-monotonic logic and are
therefore formal and abstract, whereas social theories about agent coalitions typically are …

We introduce an abstraction methodology for the verification of multi-agent systems against
specifications expressed in alternating-time temporal logic (ATL). Inspired by methodologies …

We consider abstract-argumentation-theoretic coalition formability in this work. Taking a
model from political alliance among political parties, we will contemplate profitability, and …

In open multi-agent systems, agents can enter or leave the system, interact, form societies,
and have dependency relations with each other. In these systems, when agents have to …

During the last decade argumentation has evolved as a successful approach to formalize
commonsense reasoning and decision making in multiagent systems. In particular, recent …

In this paper we show how to argue about agreements based on dependence. First, we
introduce a formal theory of arguing about agreements by instantiating Dung's abstract …

We introduce an approach to iteratively designsmall'social networks used in software
engineering together with methods analyzing the cooperation in the system. The degree of …

In this paper we introduce a formal argumentation framework to reason about the evolution
of coalitions. We extend Amgoud's preference-based argumentation framework for coalition …