Semi-Stable Semantics

A set $E \subseteq A$ is a semi-stable extension iff $E$ is complete and there is no complete extension $E'$ with $E^\oplus$ $\subsetneq E'^\oplus$.

Signature

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