A Characterization of the Semantics of Logic Programs with Aggregates
Abstract
The aggregates have greatly extended the representation power, in both theory and practice, of Answer Set Programming. Significant understanding of programs with aggregates has been gained in the last decade. However, there is still a substantial difficulty in understanding the semantics due to the nonmonotonic behavior of aggregates, which is demonstrated by several distinct semantics for aggregates in the existing work. In this paper, we aim to understand these distinct semantics in a more uniform way. Particularly, by satisfiability, rationality and consistency principles, we are able to give a uniform and simple characterizations of the three major distinct types of answer set semantics. PDF
Cite
Text
Zhang and Rayatidamavandi. "A Characterization of the Semantics of Logic Programs with Aggregates." International Joint Conference on Artificial Intelligence, 2016.Markdown
[Zhang and Rayatidamavandi. "A Characterization of the Semantics of Logic Programs with Aggregates." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/zhang2016ijcai-characterization/)BibTeX
@inproceedings{zhang2016ijcai-characterization,
title = {{A Characterization of the Semantics of Logic Programs with Aggregates}},
author = {Zhang, Yuanlin and Rayatidamavandi, Maede},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {1338-1344},
url = {https://mlanthology.org/ijcai/2016/zhang2016ijcai-characterization/}
}