In formal argumentation, a distinction can be made between extension-bas...
In this paper, we propose a constraint-based modeling approach for the
p...
In the encoding of many real-world problems to propositional satisfiabil...
Measuring inconsistency is viewed as an important issue related to handl...