Semantic Evaluation Services for Web-Based Exercises

Research output: Contributions to collected editions/worksArticle in conference proceedingsResearchpeer-review

Authors

ActiveMath is a Web-based intelligent learning environment for mathematics. One of the major components of ActiveMath is a subsystem for interactive exercises. In order to allow for intelligent diagnosis of learner's answer in an exercise step ActiveMath remotely connects to external mathematical reasoning services. This diagnosis is used for instant updating of the Learner Model of ActiveMath with the current mastery values of the learner w.r.t. the domain concepts he learns as well as it serves as a basis for providing adaptive feedback to the student. We describe the framework of semantic evaluation services of ActiveMath, and the generic format for queries to such evaluation services which are specifically oriented to facilitate diagnosis and feedback generation in interactive exercises.

Original languageEnglish
Title of host publicationAdvances in Web Based Learning - ICWL 2009 - 8th International Conference, Proceedings : 8th International Conference, Aachen, Germany, August 19-21, 2009. Proceedings
EditorsMarc Spaniol, Qing Li, Ralf Klamma, Rynson W.H. Lau
Number of pages10
PublisherSpringer Verlag
Publication date2009
Pages172-181
ISBN (print)364203425X, 9783642034251
ISBN (electronic)978-3-642-03426-8
DOIs
Publication statusPublished - 2009
Externally publishedYes
Event8th International Conference on Web Based Learning -2009 - Aachen University, Aachen, Germany
Duration: 19.08.200921.08.2009
Conference number: 8
http://www.hkws.org/conference/icwl2009/program.html

    Research areas

  • Educational science - interactive exercises , semantic web services, intelligent diagnosis

Recently viewed

Publications

  1. More input, better output
  2. How Much Home Office is Ideal? A Multi-Perspective Algorithm
  3. Optimizing price levels in e-commerce applications with respect to customer lifetime values
  4. Correlation of Microstructure and Local Mechanical Properties Along Build Direction for Multi-layer Friction Surfacing of Aluminum Alloys
  5. Emergency detection based on probabilistic modeling in AAL-environments
  6. Sliding-Mode-Based Input-Output Linearization of a Peltier Element for Ice Clamping Using a State and Disturbance Observer
  7. A general structural property in wavelet packets for detecting oscillation and noise components in signal analysis
  8. Eighth Workshop on Mining and Learning with Graphs
  9. Applied quality assurance methods under the open source development model
  10. A longitudinal multilevel CFA-MTMM model for interchangeable and structurally different methods
  11. A Voxel-based technique to estimate the volume of trees from terrestrial laser scanner data
  12. Towards Advanced Learning in Dispatching Rule-Based Scheuling
  13. Using conditional inference trees and random forests to predict the bioaccumulation potential of organic chemicals
  14. Invariant subspaces for grasping internal forces and non-interacting force-motion control in robotic manipulation
  15. A Playful Approach to Interactive Media in the Foreign Language Classroom
  16. The Low-Code Phenomenon: Mapping the Intellectual Structure of Research
  17. Solving mathematical problems with dynamical sketches
  18. Hypertext
  19. Promising practices for dealing with complexity in research for development
  20. Experiments on the Fehrer-Raab effect and the ‘Weather Station Model’ of visual backward masking
  21. Concepts
  22. Proceedings of TextGraphs-17: Graph-based Methods for Natural Language Processing
  23. Semi-micro reflux procedure for minimization of chloride interference by COD determination.
  24. Diffusion patterns in small vs. large capital markets-the case of value-based management
  25. A MODEL FOR QUANTIFICATION OF SOFTWARE COMPLEXITY
  26. Introduction Mobile Digital Practices. Situating People, Things, and Data
  27. Species composition and forest structure explain the temperature sensitivity patterns of productivity in temperate forests
  28. Understanding the socio-technical aspects of low-code adoption for software development
  29. Backstepping-based Input-Output Linearization of a Peltier Element for Ice Clamping using an Unscented Kalman Filter
  30. Situated multiplying in primary school
  31. Factored MDPs for detecting topics of user sessions
  32. Sliding Mode Control Strategies for Maglev Systems Based on Kalman Filtering
  33. Bayesian Analysis of Longitudinal Multitrait