Classroom Assignment Using Constraint Logic Programming.
Slim AbdennadherMatthias SaftSebastian WillPublished in: PACPL (2000)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint propagation
- learning activities
- constraint programming
- learning environment
- professional development
- finite domain
- collaborative learning
- middle school
- databases
- temporal reasoning
- learning process
- programming paradigms
- global constraints
- elementary school
- proof theoretic
- student learning
- online learning
- constraint satisfaction problems
- logic programs
- np hard
- natural language
- image sequences