Text this: Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics