Range (SetAF)

Given a SetAF $S = (A, R)$ and $E \subseteq A$ , the range of $E$ is $E^\oplus_R = E \cup E^+_R$ , where $E^+_R = \{h \in A \mid (T, h) \in R \text{ for some } T \subseteq E\}$ .

Reference

Blümel, L., König, M. & Ulbricht, M. (2024). Weak Admissibility for ABA via Abstract Set-Attacks. In: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), pp. 178–188. ijcai.org.

Referenced by

$E$ -Reduct (SetAF)
Weak Admissibility (SetAF)