Dung’s preferred and stable extensions
An admissible set of arguments is a preferred extension if it is an admissible set that is maximal with respect to set inclusion.
A conflict-free set of arguments is a stable extension if all arguments that are not in the set are attacked by an argument in the set.