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