Aggregate Semantics for Propositional Answer Set Programs

Mario Alviano, Wolfgang Faber 0001, Martin Gebser. Aggregate Semantics for Propositional Answer Set Programs. TPLP, 23(1):157-194, 2023. [doi]

Abstract

Abstract is missing.