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