Abstract Dialectical Frameworks
- Abstract Dialectical Framework
- Acceptance Condition
- Admissibility (ADF)
- Bipolar ADF (BADF)
- Characteristic Operator
- Complete Semantics (ADF)
- Conflict-Freeness (ADF)
- Consensus Operator
- Grounded Semantics (ADF)
- Information Ordering
- Initial Models (ADF)
- Naive Semantics (ADF)
- Parents of an Argument
- Preferred Semantics (ADF)
- Reduced ADF
- Semi-Stable Semantics (ADF)
- Semi-Two-Valued Semantics (ADF)
- Stable Semantics (ADF)
- Strong Admissibility (ADF)
- Sub-Reduct
- Three-Valued Interpretation
- Three-Valued Model (ADF)
- Two-Valued Completions
- Two-Valued Interpretation
- Two-Valued Model (ADF)