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

Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

Browse the full PPDP paper archive.