Developing a Negotiation-Based Intelligent Tutoring System to Support Problem Solving: A Case Study in Role-Play Learning | IEEE Conference Publication | IEEE Xplore