ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding - Calimeri, Francesco (arXiv.org)