FLP answer set semantics without circular justifications for general logic programs

Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner, Jun Deng. FLP answer set semantics without circular justifications for general logic programs. Artificial Intelligence, 213:1-41, 2014. [doi]

Abstract

Abstract is missing.