Gelfond-Zhang Aggregates as Propositional Formulas


We show that any ASP aggregate interpreted under Gelfond and Zhang’s (GZ) semantics can be replaced (under strong equivalence) by a propositional formula. Restricted to the original GZ syntax, the resulting formula is reducible to a disjunction of conjunctions of literals but the formulation is still applicable even when the syntax is extended to allow for… (More)
DOI: 10.1007/978-3-319-61660-5_12


  • Presentations referencing similar topics