Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract.

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl

Browse the full KR paper archive.