ABSTRACT

Dung frameworks: the arguments, a. (or arg(a)), and the attacks, a -> b. (or att(a, b)), and a <-> b. for a mutual one, stated or derived by Prolog clauses (X -> Y :- beats(X, Y).); an argument attacking or attacked is an argument as well. A theory with the rules, premises, preferences or conflicts of the structured profiles is refused.