Philippe R. Richard

According to our database, Philippe R. Richard authored at least 4 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Probabilistic Approaches to Detect Blocking States in Intelligent Tutoring System.

Jean-Philippe Corbeil, Michel Gagnon, Philippe R. Richard

Proceedings of the Intelligent Tutoring Systems - 16th International Conference, 2020

2019

Automating the Generation of High School Geometry Proofs using Prolog in an Educational Context.

Ludovic Font, Sébastien Cyr, Philippe R. Richard, Michel Gagnon

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2017

Improving QED-Tutrix by Automating the Generation of Proofs.

Ludovic Font, Philippe R. Richard, Michel Gagnon

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2007

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