Module semantics 

Argumentation semantics: extensions and labellings.

Re-exports

pub use labelling::Label;

pub use labelling::Labelling;

Modules

admissibility

Conflict-freeness, defence, and admissibility (Dung 1995 §2 definitions).

complete

Complete extensions: admissible sets that contain every argument they defend.

grounded

Grounded extension: least fixed point of the characteristic function.

ideal

Ideal extension: the largest admissible set contained in every preferred extension (Dung, Mancarella, Toni 2007).

labelling

Caminada three-valued labellings and their correspondence with extensions.

preferred

Preferred extensions: maximal (subset-maximal) admissible sets.

semi_stable

Semi-stable extensions: complete extensions with maximal range.

stable

Stable extensions: conflict-free sets that attack every argument outside them.