Article ID Journal Published Year Pages File Type
427622 Information Processing Letters 2010 6 Pages PDF
Abstract

In this work, we answer two questions about the complexity of semi-stable semantics for abstract argumentation frameworks: we show -completeness for the problem of deciding whether an argument is skeptically accepted, and respectively, -completeness for the problem of deciding whether an argument is credulously accepted under the semi-stable semantics. Furthermore, we extend these complexity bounds to the according decision problems for stage semantics and discuss two approaches towards tractability.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics