Search Results for author: Francesco Pacenza

Found 5 papers, 1 papers with code

Extending Answer Set Programming with Rational Numbers

no code implementations7 Dec 2023 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.

Rethinking Answer Set Programming Templates

no code implementations12 Jul 2023 Mario Alviano, Giovambattista Ianni, Francesco Pacenza, Jessica Zangari

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 interest.

Incremental maintenance of overgrounded logic programs with tailored simplifications

no code implementations6 Aug 2020 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.

Reasoning in Highly Reactive Environments

1 code implementation18 Sep 2019 Francesco Pacenza

In order to operate in an highly reactive environment, an artificial agent needs to be: 1.

Incremental Answer Set Programming with Overgrounding

no code implementations22 Jul 2019 Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari

In this context, we propose an incremental grounding approach for the answer set semantics.

Cannot find the paper you are looking for? You can Submit a new open access paper.