Vicious circle principle and logic programs with aggregates

Michael Gelfond, Yuanlin Zhang

Research output: Contribution to journalArticlepeer-review

47 Scopus citations


The paper presents a knowledge representation language Alog 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 Alog, an algorithm for computing its answer sets, and comparison with other approaches.

Original languageEnglish
Pages (from-to)587-601
Number of pages15
JournalTheory and Practice of Logic Programming
Issue number4-5
StatePublished - Jul 2014


  • Aggregates
  • Answer Set Programming


Dive into the research topics of 'Vicious circle principle and logic programs with aggregates'. Together they form a unique fingerprint.

Cite this