Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari. ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding. In PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022. ACM, 2022. [doi]
Abstract is missing.