AgentGeom: a multiagent system for pedagogical support in geometric proof problems. - Pedro Cobo; Josep M. Fortuny; Eloi Puertas; Philippe R. Richard (Int. J. Comput. Math. Learn., 2007)

Intelligent Tutoring and the Development of Argumentative Competence. - Juan J. Paneque; Pedro Cobo; Josep M. Fortuny (Technol. Knowl. Learn., 2017)