View in EDS PDF Full Text

ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.

Saved in:
Bibliographic Details
Title: ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding.
Authors: CALIMERI, FRANCESCO1 (AUTHOR) giovambattista.ianni@unical.it, IANNI, GIOVAMBATTISTA1 (AUTHOR), PACENZA, FRANCESCO1 (AUTHOR), PERRI, SIMONA1 (AUTHOR), ZANGARI, JESSICA1 (AUTHOR)
Source: Theory & Practice of Logic Programming. May2025, Vol. 25 Issue 3, p281-303. 23p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068425000067