Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Computer Science Education | Computer Science and Society

Weighted Constraint Based Intelligent Tutoring Systems for Logic Programming

2010 - 2011

The goal of Intelligent Tutoring Systems is to provide intelligent, one-on-one, computer-based support to students as they learn to solve problems. The basic rationale underlying most ITS systems is that by comparing student's problem solutions to formalized domain models, it is possible to adapt instruction to the needs of specific students and thereby effectively support their learning. Constraint-based tutors are one of the most prominent and successful ITS approaches. These rely on checking student solutions for the fulfillment of certain correctness constraints (and give feedback, should these be violated). Yet, a restriction of constraint-based tutors is that they cannot easily accommodate multiple correct solution variants to tasks. For the domain of logic programming, we have shown in this project that weighted constraint-based ITS systems have potential to address this issue.

Persons

Publications

Publications with the keyword "incom"


N. T. Le and N. Pinkwart
Can Soft Computing Techniques Enhance the Error Diagnosis Accuracy for Intelligent Tutors?
Proceedings of the 11th International Conference on Intelligent Tutoring Systems (ITS), Springer Verlag, 2012
incom
PDF, RIS, BibTex
N. T. Le and N. Pinkwart
INCOM: A Web-based Homework Coaching System For Logic Programming
Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA), International Association for Development of the Information Society, 2011
incom
PDF, RIS, BibTex
N. T. Le and N. Pinkwart
Adding Weights to Constraints in Intelligent Tutoring Systems: Does it Improve the Error Diagnosis?
Proceedings of the 6th European Conference On Technology Enhanced Learning (ECTEL), Springer Verlag, 2011
incom
PDF, RIS, BibTex
N. T. Le and N. Pinkwart
Enhancing The Error Diagnosis Capability For Constraint-based Tutoring Systems
Proceedings of the 15th International Conference on Artificial Intelligence in Education (AIED), Springer Verlag, 2011
incom
PDF, RIS, BibTex
N. T. Le and N. Pinkwart
Analysis of Learning Curves for Weighted Constraint-Based Tutoring Systems
Proceedings of the IADIS International Conference on Cognition and Exploratory Learning in Digital Age (CELDA), International Association for Development of the Information Society, 2010
incom
PDF, RIS, BibTex
N. T. Le, W. Menzel, and N. Pinkwart
Considering Ill-Definedness Of Problem Tasks Under The Aspect Of Solution Space
Proceedings of the 23st International Conference of the Florida Artificial Intelligence Research Society (FLAIRS), AAAI, 2010
incom
PDF, RIS, BibTex
N. T. Le, W. Menzel, and N. Pinkwart
Evaluation of a Constraint-Based Homework Assistance System for Logic Programming
Proceedings of the 17th International Conference on Computers in Education (ICCE), Asia-Pacific Society for Computers in Education, 2009
incom
PDF, RIS, BibTex