Exploiting Justifications for Lazy Grounding of Answer Set Programs

Publication
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm,Sweden
Date