AMO-Aware Optimization in Answer Set Programming ★
Mario Alviano, Carmine Dodaro, Salvatore Fiorentino
· 0 citations
We have 2 of 131 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs
A theoretical analysis of the conditions under which LBBD, including cuts, can preserve optimality in the context of Answer Set Programming (ASP), a prominent logic-based language in the field of Artificial Intelligence and introduces a general-purpose algorithm that preserves the optimality guarantees of Bender Decomposition.
Carmine Dodaro, Antonio Ielo, M. Maratea et al.
· 0 citations