Vicious Circle Principle and Logic Programs with Aggregates

@article{Gelfond2014ViciousCP,
  title={Vicious Circle Principle and Logic Programs with Aggregates},
  author={Michael Gelfond and Yuanlin Zhang},
  journal={TPLP},
  year={2014},
  volume={14},
  pages={587-601}
}
The paper presents a knowledge representation language A log 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 A log, an algorithm for computing its answer sets, and comparison with other approaches. 
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…