A logic programming framework for possibilistic argumentation: Formalization and logical properties