An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions

摘要

We introduce an answer-set semantics for abstract-constraint programs with disjunction in rule heads in the style of Faber, Leone, and Pfeifer (FLP). To this end, we extend the definition of an answer set for logic programs with aggregates in rule bodies