A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge