Playing with evidence theory
plrsf performs syntactic merging over ASP programs
Possibilistic Answer Set Programming.