Deductive, Tolerant Agents for Discovering Didactic Resources on the Web