CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Modeling hinting strategies for geometry theorem proving
UM'03 Proceedings of the 9th international conference on User modeling
Dominance relations in rough sets approximations for assessing students knowledge
AIKED'11 Proceedings of the 10th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Automated decision making based on weak orderings
International Journal of Intelligent Information and Database Systems
Leveraging a domain ontology to increase the quality of feedback in an intelligent tutoring system
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part I
Employing UMLS for generating hints in a tutoring system for medical problem-based learning
Journal of Biomedical Informatics
Hi-index | 0.00 |