Constraint-Based Knowledge Representation for Individualized Instruction Stellan Ohlsson; Antonija Mitrovic — 2006 Computer Science and Information Systems