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