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. A Negotiation and Explainable Approach to Automatically Reduce Cognitive Conflicts and Enhance Learner Model Accuracy in an Intelligent Tutoring System for Propositional Logic. In Sabine Graf, Angelos I. Markos, editors, Generative Systems and Intelligent Tutoring Systems - 21st International Conference, ITS 2025, Alexandroupolis, Greece, June 2-6, 2025, Proceedings, Part I. Volume 15723 of Lecture Notes in Computer Science, pages 159-170, Springer, 2025. [doi]