个人经历
教育背景
个人简介
Research interests
My current research interests are with
knowledge representation and reasoning
computational logic
algorithms and complexity in AI
declarative problem solving
nonmonotonic logic programming and databases
reasoning about actions and change
intelligent agents