Vicious Circle Principle and Logic Programs with Aggregates

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.

arXiv admin note: text overlap with arXiv:1405.3637

Cited by in corpus (1)

• Recursive Rules with Aggregation: A Simple Unified Semantics