Research Area:Artificial intelligenceResearch Area:Mathematics--Study and teachingResearch Area:LogicClear