First-order semantics of aggregates in answer set programming via modified circumscription

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations


We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by Truszczyński. Unlike the previous definitions, our generalizations refer neither to grounding nor to fixpoints, and apply to first-order formulas containing aggregate expressions. Similar to the first-order stable model semantics by Ferraris, Lee and Lifschitz, the reformulations presented here are based on syntactic transformations that are similar to circumscription. The reformulations provide useful insights into the FLP semantics and its relationship to circumscription and the first-order stable model semantics.

Original languageEnglish (US)
Title of host publicationLogical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report
PublisherAI Access Foundation
Number of pages7
ISBN (Print)9781577354987
StatePublished - 2011
Event2011 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 21 2011Mar 23 2011

Publication series

NameAAAI Spring Symposium - Technical Report


Other2011 AAAI Spring Symposium
Country/TerritoryUnited States
CityStanford, CA

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'First-order semantics of aggregates in answer set programming via modified circumscription'. Together they form a unique fingerprint.

Cite this