Abstract
DLV2 is an AI tool for Knowledge Representation and Reasoning which supportsAnswer Set Programming (ASP) - a logic-based declarative formalism,successfully used in both academic and industrial applications. Given a logicprogram modelling a computational problem, an execution of DLV2 produces theso-called answer sets that correspond one-to-one to the solutions to theproblem at hand. The computational process of DLV2 relies on the typical Ground& Solve approach where the grounding step transforms the input program into anew, equivalent ground program, and the subsequent solving step appliespropositional algorithms to search for the answer sets. Recently, emergingapplications in contexts such as stream reasoning and event processing createda demand for multi-shot reasoning: here, the system is expected to be reactivewhile repeatedly executed over rapidly changing data. In this work, we presenta new incremental reasoner obtained from the evolution of DLV2 towards iteratedreasoning. Rather than restarting the computation from scratch, the systemremains alive across repeated shots, and it incrementally handles the internalgrounding process. At each shot, the system reuses previous computations forbuilding and maintaining a large, more general ground program, from which asmaller yet equivalent portion is determined and used for computing answersets. Notably, the incremental process is performed in a completely transparentfashion for the user. We describe the system, its usage, its applicability andperformance in some practically relevant domains. Under consideration in Theoryand Practice of Logic Programming (TPLP).