Vicious Circle Principle and Logic Programs with Aggregates
classification
💻 cs.AI
keywords
aggregateslanguagemathcalalgorithmanswerapproachescircleclear
read the original abstract
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 and mathematical semantics. We give some properties of $\mathcal{A}log$, an algorithm for computing its answer sets, and comparison with other approaches.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.