TY - RPRT TI - Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AU - Jorge Fandinno AU - Zachary Hansen PY - 2024 UR - https://arxiv.org/abs/2412.10975 ID - 2412.10975 ER -