Formal Models of Appeal and Its Evaluation in Argumentation-based Negotiation of Agent | IEEE Conference Publication | IEEE Xplore