Formalisation and logical properties of the maximal ideal recursive semantics for weighted defeasible logic programming | Publicación