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

Publication
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018
Date