Inlining External Sources in Answer Set Programs

Christoph Redl. Inlining External Sources in Answer Set Programs. TPLP, 19(3):360-411, 2019. [doi]

Abstract

Abstract is missing.