Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence

Open in new window