2025
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
AAAI 2025technical
This paper shows that the semantics of programs with aggregates implemented by the solvers clingo and dlv can be characterized as extended First-Order formulas with intensional functions in the logic of Here-and-There. Furthermore, this characterization can be used to study the strong equivalence of…