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. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pages 1058-1065, IJCAI/AAAI Press, 2016. [doi]

Abstract

Abstract is missing.