Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence

Cite

Text

Fandinno and Hansen. "Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence." AAAI Conference on Artificial Intelligence, 2025. doi:10.1609/AAAI.V39I14.33633

Markdown

[Fandinno and Hansen. "Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence." AAAI Conference on Artificial Intelligence, 2025.](https://mlanthology.org/aaai/2025/fandinno2025aaai-recursive/) doi:10.1609/AAAI.V39I14.33633

BibTeX

@inproceedings{fandinno2025aaai-recursive,
  title     = {{Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence}},
  author    = {Fandinno, Jorge and Hansen, Zachary},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {14893-14901},
  doi       = {10.1609/AAAI.V39I14.33633},
  url       = {https://mlanthology.org/aaai/2025/fandinno2025aaai-recursive/}
}