ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding. - CALIMERI, FRANCESCO; IANNI, GIOVAMBATTISTA; PACENZA, FRANCESCO; PERRI, SIMONA; ZANGARI, JESSICA (Theory & Practice of Logic Programming, 2025)