Acceptance Condition

The acceptance condition $C_a$ of an argument $a \in A$ in an ADF $D = (A, L, C)$ is modelled as a propositional formula over $par(a)$ that determines when $a$ is accepted, given the set of accepted parents.

Reference

Brewka, G. & Woltran, S. (2010). Abstract Dialectical Frameworks. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 102–111. AAAI Press.

Referenced by

Abstract Dialectical Framework
Bipolar ADF (BADF)
Strong Admissibility (ADF)
Reduced ADF
Sub-Reduct