An Efficient Algorithm for Semi-stable Extensions

In this paper we introduce AASExts, an algorithm for computing semi–stable extensions. We improve techniques developed for other semantics, notably preferred semantics, as well as leverage recent advances in All-SAT community. We prove our proposed algorithm is sound and complete, we describe the experiments to select the most appropriate encoding to adopt, and we show empirically that our implementation significantly outperforms even sophisticated ASP-based and SAT-based reduction approaches on existing benchmarks.