Aggregate Semantics for Propositional Answer Set Programs

Open in new window