Criteria of a Knowledge model for an Intelligent Problems Solver in Education | IEEE Conference Publication | IEEE Xplore