Extension-based Semantics

An (extension-based) semantics $\sigma$ assigns to each AF $F$ a set $\sigma(F) \subseteq 2^A$ of sets of arguments, the $\sigma$-extensions of $F$.

Abbreviations

• $\mathsf{cf}$: conflict-free
• $\mathsf{ad}$: admissible
• $\mathsf{co}$: complete
• $\mathsf{gr}$: grounded
• $\mathsf{pr}$: preferred
• $\mathsf{st}$: stable
• $\mathsf{sst}$: semi-stable
• $\mathsf{stg}$: stage
• $\mathsf{na}$: naive
• $\mathsf{id}$: ideal
• $\mathsf{ea}$: eager
• $\mathsf{sad}$: strongly admissible
• $\mathsf{ud}$: undisputed
• $\mathsf{sud}$: strongly undisputed
• $\mathsf{wad}$: weakly admissible
• $\mathsf{wco}$: weakly complete
• $\mathsf{wgr}$: weakly grounded
• $\mathsf{wpr}$: weakly preferred
• $\mathsf{cf2}$: CF2
• $\mathsf{stg2}$: stage2
• $\mathsf{scf2}$: SCF2
• $\mathsf{uc}$: unchallenged