Weighted Rules under the Stable Model Semantics