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]
@inproceedings{FandinnoH25,
title = {Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence},
author = {Jorge Fandinno and Zachary Hansen},
year = {2025},
doi = {10.1609/aaai.v39i14.33633},
url = {https://doi.org/10.1609/aaai.v39i14.33633},
researchr = {https://researchr.org/publication/FandinnoH25},
cites = {0},
citedby = {0},
pages = {14893-14901},
booktitle = {AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA},
editor = {Toby Walsh and Julie Shah and Zico Kolter},
publisher = {AAAI Press},
isbn = {978-1-57735-897-8},
}