刘咏梅

所属研究所、院系: 
计算机科学理论研究所
职称: 
教授
E-mail: 
ymliu@mail.sysu.edu.cn
教师简介: 

研究兴趣:人工智能,知识表示与推理,认知机器人学,程序的调试和验证

教育背景:于加拿大多伦多大学计算机科学系获博士学位

教授课程:离散数学,数理逻辑,人工智能

主要论文

1. Q. Liu and Y. Liu. Multi-agent Epistemic Planning with Common Knowledge. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI-18), 2018.

2. X. Huang, B. Fang, H. Wan and Y. Liu. A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. To appear in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), 2017.

3. P. Mo, N. Li and Y. Liu. Automatic Verification of Golog Programs via Predicate Abstraction. In Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI-16), 2016.

4. L. Xiong and Y. Liu. Strategy Representation and Reasoning in the Situation Calculus. In Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI-16), 2016. [pdf]

5. L. Xiong and Y. Liu. Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. To appear in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), 2016.

6. L. Fang, Y. Liu and H. van Ditmarsch. Forgetting in Multi-Agent Modal Logics. To appear in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), 2016.

7. H. Wan, R. Yang, L. Fang, Y. Liu and H. Xu. A Complete Epistemic Planner without the Epistemic Closed World Assumption. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.

8. L. Fang, Y. Liu and X. Wen. On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.

9. N. Li and Y. Liu. Automatic Verification of Partial Correctness of Golog Programs. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-15), 2015.

10. X. Wang and Y. Liu. Automated fault localization via hierarchical multiple predicate switching. Journal of Systems and Software, 104:69-81, 2015.

11. N. Li, Y. Fan and Y. Liu. Reasoning about State Constraints in the Situation Calculus. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13), pages 997-1003, 2013.

12. Q. Yu, X. Wen and Y. Liu. Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions. In Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI-13), pages 1183-1190, 2013.

13. L. Fang and Y. Liu. Multi-agent Knowledge and Belief Change in the Situation Calculus. In Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), pages 304-312, 2013.

14. Y. Fan, M. Cai, N. Li and Y. Liu. A first-order interpreter for knowledge-based Golog with sensing based on exact progression and limited reasoning. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), pages 734-742,  2012.

15. Y. Liu and X. Wen. On the Progression of Knowledge in the Situation Calculus. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pages 976-982, 2011.

研究领域: 

人工智能,知识表示与推理,认知机器人学,程序的调试和验证