bipolar-argumentation
Finite formal argumentation frameworks and semantics: Dung, ASPIC+, bipolar, partial, and revision