A model building framework for answer set programming with external computations

Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Christoph Redl, Peter Schüller. A model building framework for answer set programming with external computations. TPLP, 16(4):418-464, 2016. [doi]

Abstract

Abstract is missing.