2016 IJCAI IJCAI 2016

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