Vicious Circle Principle and Logic Programs with Aggregates
Artificial Intelligence
2020-02-19 v2
Abstract
The paper presents a knowledge representation language which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive and mathematical semantics. We give some properties of , an algorithm for computing its answer sets, and comparison with other approaches.
Cite
@article{arxiv.1405.3637,
title = {Vicious Circle Principle and Logic Programs with Aggregates},
author = {Michael Gelfond and Yuanlin Zhang},
journal= {arXiv preprint arXiv:1405.3637},
year = {2020}
}