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 …

We study a version of Propositional Dynamic Logic (PDL) that we call Dynamic Logic of
Propositional Assignments (DL-PA). The atomic programs of DL-PA are assignments of …

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 …

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 …

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 overview the most prominent logics of knowledge and action that were proposed and
studied in the multiagent systems literature. We classify them according to these two …

We provide tableau-based PSPACE satisfiability checking procedures for a family of multi-
agent epistemic logics with a semantics defined in terms of belief bases. Such logics …

A dynamic framework, based on the Dynamic Logic of Propositional Assignments (DL-PA),
has recently been proposed for Dung's abstract argument system. This framework allows the …