Evaluating epistemic negation in answer set programming

Yi-Dong Shen, Thomas Eiter. Evaluating epistemic negation in answer set programming. Artificial Intelligence, 237:115-135, 2016. [doi]

Abstract

Abstract is missing.