Vicious circle principle and logic programs with aggregates

Michael Gelfond, Yuanlin Zhang

Research output: Contribution to journalArticle

40 Scopus citations

Abstract

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
Volume14
Issue number4-5
DOIs
StatePublished - Jul 2014

Keywords

  • Aggregates
  • Answer Set Programming

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

  • Cite this