J. M. Scandura, Knowledge representation in structural learning theory and relationships to adaptive learning and tutoring systems, Tech., Inst., Cognition and Learning, vol.5, pp.169-271, 2007.

J. R. Anderson, C. F. Boyle, R. Farrel, and B. J. Reiser, Modelling cognition: Cognitive principles in the design of computer tutors, pp.93-133, 1987.

A. H. Schoenfeld, Handbook for research on mathematics teaching and learning Learning to think mathematically: Problem solving, metacognition , and sense-making in mathematics, pp.334-370, 1992.

L. R. Novick and M. Bassok, Cambridge handbook of thinking and reasoning, pp.321-349, 2005.

J. G. Greeno, P. D. Pearson, and A. H. Schoenfeld, Implications for NAEP of Research for Learning and Cognition, Institute for Research on Learning, 1996.

B. Heeren, J. Jeuring, and A. Gerdes, Specifying Rewrite Strategies for Interactive Exercises, Mathematics in Computer Science, vol.40, issue.2, pp.349-370, 2010.
DOI : 10.1007/s11786-010-0027-4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. H. Jonassen, Toward a design theory of problem solving, Educational Technology Research and Development, vol.86, issue.2, pp.63-85, 2000.
DOI : 10.1007/BF02300500

E. Holohan, M. Melia, D. Mcmullen, and C. Pahl, The Generation of E-Learning Exercise Problems from Subject Ontologies, Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06), pp.967-969, 2006.
DOI : 10.1109/ICALT.2006.1652605

S. Williams, Generating mathematical word problems, AAAI Fall Symposium Series, 2011.

T. Alsubait, B. Parsia, U. B. Sattler, S. Stankov, M. Rosi´crosi´c et al., Mining ontologies for analogy questions: A similarity-based approach Dynamic test generation over ontology-based knowledge representation in authoring shell, Expert Systems with Applications, vol.849, issue.36, pp.8185-8196, 2009.

A. Papasalouros, K. Kotis, and K. Kanaris, Automatic generation of tests from domain and multimedia ontologies, Interactive Learning Environments, vol.2, issue.1, pp.5-23, 2011.
DOI : 10.1109/TLT.2008.12

A. H. Schoenfleld, On having and using geometric knowledge: Conceptual and procedural knowledge: The case of mathematics, pp.225-264, 1986.

C. L. Chang and R. C. Lee, Symbolic Logic and Mechanical Theorem Proving, 1997.

M. T. Chi and R. Glaser, Problem solving ability Human Abilities: An Information-Processing Approach, pp.227-257, 1985.

H. Coelho and L. M. Pereira, Automated reasoning in geometry theorem proving with Prolog, Journal of Automated Reasoning, vol.1, issue.4, pp.329-390, 1986.
DOI : 10.1007/BF00248249

M. Kendall, Rank Correlation Methods., Biometrika, vol.44, issue.1/2, 1975.
DOI : 10.2307/2333282