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

摘要

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frame