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

Jori Bomanson, Tomi Janhunen, Antonius Weinzierl. Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 625-626, AAAI Press, 2018. [doi]

Abstract

Abstract is missing.