TY - RPRT TI - Aggregate Semantics for Propositional Answer Set Programs AU - Mario Alviano AU - Wolfgang Faber AU - Martin Gebser PY - 2021 UR - https://arxiv.org/abs/2109.08662 ID - 2109.08662 ER -