TY  - RPRT
TI  - ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
AU  - Francesco Calimeri
AU  - Giovambattista Ianni
AU  - Francesco Pacenza
AU  - Simona Perri
AU  - Jessica Zangari
PY  - 2025
DO  - 10.1017/s1471068425000067
UR  - https://arxiv.org/abs/2412.17143
ID  - 2412.17143
ER  -