Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl. Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. J. Artif. Intell. Res. (JAIR), 62:665-727, 2018. [doi]

Abstract

Abstract is missing.