Negative probabilities in probabilistic logic programs
the stable model semantics for logic programming .