Preferred Semantics

A set $E \subseteq A$ is a preferred extension iff $E$ is a $\subseteq$-maximal complete extension.

Signature

A set $\mathbb{S}$ of sets of arguments is in $\mathsf{sig}(\mathsf{pr})$ iff $\mathbb{S} \neq \emptyset$, $\mathbb{S}$ is incomparable and conflict-sensitive (Dunne et al., 2015).