Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 0 |
| Since 2007 (last 20 years) | 1 |
Descriptor
| Error Patterns | 1 |
| Feedback (Response) | 1 |
| Identification | 1 |
| Intelligent Tutoring Systems | 1 |
| Intention | 1 |
| Logical Thinking | 1 |
| Models | 1 |
| Program Validation | 1 |
| Programming | 1 |
| Programming Languages | 1 |
| Semantics | 1 |
| More ▼ | |
Source
| International Journal of… | 1 |
Author
| Le, Nguyen-Thinh | 1 |
| Menzel, Wolfgang | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkLe, Nguyen-Thinh; Menzel, Wolfgang – International Journal of Artificial Intelligence in Education, 2009
In this paper, we introduce logic programming as a domain that exhibits some characteristics of being ill-defined. In order to diagnose student errors in such a domain, we need a means to hypothesise the student's intention, that is the strategy underlying her solution. This is achieved by weighting constraints, so that hypotheses about solution…
Descriptors: Intelligent Tutoring Systems, Logical Thinking, Programming, Models
