19 citations · 64 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023
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…
cs.AI2023
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…