Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Browse the full AAAI paper archive.