Toward a logical tool for generating new arguments in an argumentation based framework | IEEE Conference Publication | IEEE Xplore