Current browse context:
cs.DS
Change to browse by:
References & Citations
Computer Science > Data Structures and Algorithms
Title: On Computing Stable Extensions of Abstract Argumentation Frameworks
(Submitted on 3 Nov 2020 (v1), last revised 14 Sep 2021 (this version, v6))
Abstract: An \textit{abstract argumentation framework} ({\sc af} for short) is a directed graph $(A,R)$ where $A$ is a set of \textit{abstract arguments} and $R\subseteq A \times A$ is the \textit{attack} relation. Let $H=(A,R)$ be an {\sc af}, $S \subseteq A$ be a set of arguments and $S^+ = \{y \mid \exists x\in S \text{ with }(x,y)\in R\}$. Then, $S$ is a \textit{stable extension} in $H$ if and only if $S^+ = A\setminus S$. In this paper, we present a thorough, formal validation of a known backtracking algorithm for listing all stable extensions in a given {\sc af}.
Submission history
From: Samer Nofal [view email][v1] Tue, 3 Nov 2020 05:38:52 GMT (19kb,D)
[v2] Wed, 10 Feb 2021 11:31:40 GMT (19kb,D)
[v3] Fri, 19 Mar 2021 11:51:24 GMT (19kb,D)
[v4] Sun, 13 Jun 2021 06:47:25 GMT (21kb,D)
[v5] Tue, 15 Jun 2021 03:56:29 GMT (21kb,D)
[v6] Tue, 14 Sep 2021 07:03:40 GMT (22kb,D)
Link back to: arXiv, form interface, contact.