Vicious Circle Principle and Logic Programs with Aggregates

Michael Gelfond, Yuanlin Zhang

The paper presents a knowledge representation language $\mathcal{A}log$ which extends ASP with aggregates. The goal is to have a language based on simple syntax and clear intuitive…