In this paper, we introduce a logic to reason about group actions for groups that are defined by means of the majority rule. It is well known that majoritarian aggregation is subj...
Abstract. Formal argumentation-based dialogue systems have attracted considerable research interest in the past. Most research in this area introduce “dialectical wrappers” ove...
Abstract. Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and sugge...
Abstract. A common hypothesis in multi-agent systems (MAS) literature is that decentralized MAS are better at coping with dynamic and large scale problems compared to centralized a...
Abstract. Handling inconsistency is an inherent part of decision making in traditional agri-food chains – due to the various concerns involved. In order to explain the source of ...
To deal with a broad spectrum of domains, intelligent agents have to generate their own task-oriented dialogue that stems from the need to interact with another agent when solving ...
Module checking is a decision problem proposed in late 1990s to formalize verification of open systems, i.e., systems that must adapt their behavior to the input they receive from...
Maintaining high levels of safety under conditions of ever increasing air traffic is a challenging task. Failures to comply with safety-related regulations are often considered to ...
Traditionally, Embodied Conversational Agents communicate with humans using dialogue systems based on conversation trees. To enhance the flexibility and variability of dialogues, t...