ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding

Open in new window