A Negotiation and Explainable Approach to Automatically Reduce Cognitive Conflicts and Enhance Learner Model Accuracy in an Intelligent Tutoring System for Propositional Logic. - Evandro Costa; Emanuele Silva; Priscylla Silva; Marlos Silva; Leandro da Silva; Dante Costa (ITS (1), 2025)