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]

@inproceedings{BomansonJW18,
  title = {Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming - Extended Abstract},
  author = {Jori Bomanson and Tomi Janhunen and Antonius Weinzierl},
  year = {2018},
  url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18020},
  researchr = {https://researchr.org/publication/BomansonJW18},
  cites = {0},
  citedby = {0},
  pages = {625-626},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018},
  editor = {Michael Thielscher and Francesca Toni and Frank Wolter},
  publisher = {AAAI Press},
  isbn = {978-1-57735-803-9},
}