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. ,

Modelling cognition: Cognitive principles in the design of computer tutors, pp.93-133, 1987. ,

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

Cambridge handbook of thinking and reasoning, pp.321-349, 2005. ,

Implications for NAEP of Research for Learning and Cognition, Institute for Research on Learning, 1996. ,

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=10.1.1.157.8325

Toward a design theory of problem solving, Educational Technology Research and Development, vol.86, issue.2, pp.63-85, 2000. ,

DOI : 10.1007/BF02300500

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

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

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. ,

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

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

Symbolic Logic and Mechanical Theorem Proving, 1997. ,

Problem solving ability Human Abilities: An Information-Processing Approach, pp.227-257, 1985. ,

Automated reasoning in geometry theorem proving with Prolog, Journal of Automated Reasoning, vol.1, issue.4, pp.329-390, 1986. ,

DOI : 10.1007/BF00248249

Rank Correlation Methods., Biometrika, vol.44, issue.1/2, 1975. ,

DOI : 10.2307/2333282