@inproceedings{07761a8c7f224ba59994c124dfa91a67,
title = "Axiomatization of Aggregates in Answer Set Programming",
abstract = "The paper presents a characterization of logic programs with aggregates based on a many-sorted generalization of operator SM that refers neither to grounding nor to fixpoints. This characterization introduces new function symbols for aggregate operations and aggregate elements, whose meaning can be fixed by adding appropriate axioms to the result of the SM transformation. We prove that for programs without positive recursion through aggregates our semantics coincides with the semantics of the answer set solver clingo.",
author = "Jorge Fandinno and Zachary Hansen and Yuliya Lierler",
note = "Publisher Copyright: {\textcopyright} 2022, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 36th AAAI Conference on Artificial Intelligence, AAAI 2022 ; Conference date: 22-02-2022 Through 01-03-2022",
year = "2022",
month = jun,
day = "30",
doi = "10.1609/aaai.v36i5.20504",
language = "English",
series = "Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022",
publisher = "Association for the Advancement of Artificial Intelligence",
pages = "5634--5641",
booktitle = "AAAI-22 Technical Tracks 5",
address = "United States",
}