From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Jianmin Ji, Hannes Straß · Frontiers in artificial intelligence and applications · 2014
We show how the pure logic of GK can be embedded into disjunctive logic programming. The translation we present is polynomial, but not modular, and introduces new variables. The result can then be used to compute the extension/expansion semantics of default and autoepistemic logics using disjunctive ASP solvers.