Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Open in new window