Algorithms and efficient encodings for argumentation frameworks and arithmetic problems 

Guitart Bravo, Francesc (Date of defense: 2014-07-07)

In this thesis we focus on the design and implementation of a particular framework of Possibilistic Defeasible Logic Programming (RP-DeLP). This framework is based on a general notion of collective (non-binary) conflict ...