Vicious circle principle and logic programs with aggregates

Michael Gelfond; Yuanlin Zhang

doi:10.1017/S1471068414000222

Vicious circle principle and logic programs with aggregates

Michael Gelfond, Yuanlin Zhang

Computer Science

Research output: Contribution to journal › Article › peer-review

47 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 language	English
Pages (from-to)	587-601
Number of pages	15
Journal	Theory and Practice of Logic Programming
Volume	14
Issue number	4-5
DOIs	https://doi.org/10.1017/S1471068414000222
State	Published - Jul 2014

Keywords

Aggregates
Answer Set Programming

Access to Document

10.1017/S1471068414000222

Cite this

@article{684c5c821b314fd495b7380c2e4107ac,

title = "Vicious circle principle and logic programs with aggregates",

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.",

keywords = "Aggregates, Answer Set Programming",

author = "Michael Gelfond and Yuanlin Zhang",

year = "2014",

month = jul,

doi = "10.1017/S1471068414000222",

language = "English",

volume = "14",

pages = "587--601",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

number = "4-5",

}

TY - JOUR

T1 - Vicious circle principle and logic programs with aggregates

AU - Gelfond, Michael

AU - Zhang, Yuanlin

PY - 2014/7

Y1 - 2014/7

N2 - 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.

AB - 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.

KW - Aggregates

KW - Answer Set Programming

UR - http://www.scopus.com/inward/record.url?scp=84904657205&partnerID=8YFLogxK

U2 - 10.1017/S1471068414000222

DO - 10.1017/S1471068414000222

M3 - Article

AN - SCOPUS:84904657205

SN - 1471-0684

VL - 14

SP - 587

EP - 601

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 4-5

ER -

Vicious circle principle and logic programs with aggregates

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this