Jorge Fandinno, Zachary Hansen. Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence. In Toby Walsh, Julie Shah, Zico Kolter, editors, AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA. pages 14893-14901, AAAI Press, 2025. [doi]
Abstract is missing.