This paper addresses the issue of the dynamic enforcement of a constraint in an
argumentation system. The system consists in (1) an argumentation framework, made up …

This paper introduces a general logical framework for reasoning about diffusion processes
within social networks. The new “Logic for Diffusion in Social Networks” is a dynamic …

We provide a logical analysis of abstract argumentation frameworks and their dynamics.
Following previous work, we express attack relation and argument status by means of …

Within argumentation dynamics, a major strand of research is concerned with how changing
an argumentation framework affects the acceptability of arguments, and how to modify an …

A realistic model of multi-agent planning must allow us to formalize notions which are absent
in classical planning, such as communication and knowledge. We investigate multi-agent …

When a planning task cannot be solved then it can often be made solvable by modifying it a
bit: one may change either the set of actions, or the initial state, or the goal description. We …

Dynamics and uncertainty are essential features of real-life argumentation, and many recent
studies have focused on integrating both aspects into Dung's well-known abstract …

We study an epistemic logic where knowledge is built from what the agents observe
(including higher-order visibility) and what the agents learn from public announcements …

We introduce a dynamic epistemic logic that is based on what an agent can observe,
including joint observation and observation of what other agents observe. This generalizes …

We extend the existing encoding of abstract argumentation frameworks in DL-PA (Dynamic
Logic of Propositional Assignments) in order to capture different formalisms for arguing with …