Model-based recasting in answer-set programming

Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran. Model-based recasting in answer-set programming. Journal of Applied Non-Classical Logics, 23(1-2):75-104, 2013. [doi]

Abstract

Abstract is missing.