阿卜杜勒·萨塔尔教授推动了他在知识表示和推理、约束满足、智能调度、理性代理、命题可满足性、时序推理、时序数据库和生物信息学方面的研究。