University of Melbourne
1991年8月至1991年12月在澳大利亚墨尔本大学作高级访问学者，进行非单调推理和近似推理的研究。