Miguel Angel Mora, Roberto Moriyón, Francisco Saiz. Role-Based Specification of the Behaviour of an Agent for the Interactive Resolution of Mathematical Problems. In James C. Lester, Rosa Maria Vicari, Fábio Paraguaçu, editors, Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings. Volume 3220 of Lecture Notes in Computer Science, pages 187-196, Springer, 2004. [doi]
Abstract is missing.