Vicious Circle Principle and Logic Programs with Aggregates
Artificial Intelligence
2018-08-23 v1
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.1808.07050,
title = {Vicious Circle Principle and Logic Programs with Aggregates},
author = {Michael Gelfond and Yuanlin Zhang},
journal= {arXiv preprint arXiv:1808.07050},
year = {2018}
}
Comments
arXiv admin note: text overlap with arXiv:1405.3637