Exploiting Justifications for Lazy Grounding of Answer Set Programs.

Bart Bogaerts, Antonius Weinzierl

Browse the full IJCAI paper archive.