CF-Reinstatement

A semantics $\sigma$ satisfies CF-Reinstatement iff for every extension $E \in \sigma(F)$ and argument $a$ : if $E$ defends $a$ and $E \cup \{a\}$ is conflict-free, then $a \in E$ .

Reference

Baroni, P. & Giacomin, M. (2007). On Principle-Based Evaluation of Extension-Based Argumentation Semantics. Artificial Intelligence, 171(10–15), pp. 675–700.