This article1 proposes a complete framework for handling the dynamics of an abstract argumentation system. This frame can encompass several belief bases under the form of several argumentation systems, more precisely it is possible to express and study how an agent who has her own argumentation system can interact on a target argumentation system (that may represent a state of knowledge at a gi...

Let A be a set of k elements of an Abelian group G in which the order of the smallest nonzero subgroup is at least 2k − 3. Then the number of different elements of G that can be written in the form a + a′, where a, a′ ∈ A, a 6= a′, is at least 2k − 3, as it has been shown in [12]. Here we give yet another proof of this result.

Workflow technologies are emerging as the dominant approach to coordinate groups of distributed services. However with a space filled with competing specifications, standards and frameworks from multiple domains, choosing the right tool for the job is not always a straightforward task. Researchers are often unaware of the range of technology that already exists and focus on implementing yet ano...