7 citations · 9 across the 6 of their papers we have counts for
6 papers
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
DLV2 is an AI tool for Knowledge Representation and Reasoning which supports Answer Set Programming (ASP) - a logic-based declarative formalism, successfully used in both academic…
Extending Answer Set Programming with Rational Numbers
Francesco Pacenza, Jessica Zangari
Answer Set Programming (ASP) is a widely used declarative programming paradigm that has shown great potential in solving complex computational problems. However, the inability to n…
Rethinking Answer Set Programming Templates
Mario Alviano, Giovambattista Ianni, Francesco Pacenza +1
In imperative programming, the Domain-Driven Design methodology helps in coping with the complexity of software development by materializing in code the invariants of a domain of i…
Incremental maintenance of overgrounded logic programs with tailored simplifications
Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing. When using answer set programming in such conte…
Reasoning in Highly Reactive Environments
Francesco Pacenza
The aim of my Ph.D. thesis concerns Reasoning in Highly Reactive Environments. As reasoning in highly reactive environments, we identify the setting in which a knowledge-based agen…
Incremental Answer Set Programming with Overgrounding
Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza +2
Repeated executions of reasoning tasks for varying inputs are necessary in many applicative settings, such as stream reasoning. In this context, we propose an incremental grounding…