Non-deterministic approximation operators: ultimate operators, semi-equilibrium semantics and aggregates (full version)

Open in new window