Understanding argumentation and its role in human reasoning has been a continuous
subject of investigation for scholars from the ancient Greek philosophers to current …

In open multi-agent systems, agents engage in interactions to share and exchange
information. Due to the fact that these agents are self-interested, they may jeopardize mutual …

Blending computational and social elements into software has gained significant attention in
key conferences and journals. In this context," Social Machines" appears as a promising …

This article presents an approach that provides the necessary assistance to those who are in
charge of engineering communities of Web services. Current practices indicate that Web …

Among the activities that people participate in on the Social Web are argumentative
discussions and decision making. This paper analyzes a series of use-cases (from the …

This paper discusses a framework to manage Web services using the concept of community
and the metaphor of social networking. On the one hand, a community gathers Web services …

Nowadays, multiagent systems have become a widely used technology in everyday life, and
many authors have adopted the view of communication or interaction between agents as a …

In last years, trust and reputation has been gaining increasing interest in multi-agent
systems (MAS). To address this issue, we propose in this paper a maintenance-based trust …

Model checking is a formal technique used to verify communication protocols against given
properties. In this paper, we propose a new model checking algorithm aims at verifying …

Web services (WSs) can cooperate with each other to provide more valuable WSs. Current
approaches for WS cooperation have typically assumed that WSs are always willing to …