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

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]

Authors

Francesco Calimeri

This author has not been identified. Look up 'Francesco Calimeri' in Google

Giovambattista Ianni

This author has not been identified. Look up 'Giovambattista Ianni' in Google

Francesco Pacenza

This author has not been identified. Look up 'Francesco Pacenza' in Google

Simona Perri

This author has not been identified. Look up 'Simona Perri' in Google

Jessica Zangari

This author has not been identified. Look up 'Jessica Zangari' in Google