área de pesquisa Comparing logic programming and formal argumentation; the case of ideal and eager semantics Diego de Siqueira Braga