劉詠梅

於加拿大多倫多大學計算機科學系獲博士學位。 ^[1] 

人工智能，知識表示與推理，認知機器人學，程序的調試和驗證。 ^[1] 

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

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

7. Y. Liu and H. Levesque. Incorporating action models into the Situation Calculus. In A. Baltag and S. Smets, editors, Johan F. A. K. van Benthem on Logical and Informational Dynamics, Volume 5 of Outstanding Contributions to Logic, Springer, 2014.

8. 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.

9. 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.

10. 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.

11. 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.

12. 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.

13. Y. Liu and B. Li. Automated program debugging via multiple predicate switching. InProceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), pages 327-332, 2010.

14. Y. Liu and G. Lakemeyer. On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09), pages 860-866, 2009.

15. Y. Liu. A Formalization of Program Debugging in the Situation Calculus. InProceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 486-491, 2008.

16. Y. Liu and G. Lakemeyer. On the expressiveness of Levesque's normal form. Journal of Artificial Intelligence Research, 31:259-272, 2008. ^[1]