Yongmei Liu

   Professor
   Dept. of Computer Science
   Sun Yat-sen University
   132 East Waihuan Road
   Guangzhou 510006
   China
   Email: ymliu@mail.sysu.edu.cn

Research Interests

Artificial intelligence, Knowledge representation and reasoning, Reasoning about actions and change, Reasoning about knowledge and belief, Reasoning about strategies, multi-agent epistemic planning, Generalized planning, Commonsense Reasoning

Education

Ph.D., Univ. of Toronto; M.Sc., Univ. of Toronto; B.Sc., Wuhan Univ.

Teaching

  • Fall 2017, 2018, 2019, 2020, 2021: Introduction to Artificial Intelligence
  • Fall 2020: Knowledge Representation and Reasoning
  • Spring 2018: Advanced Mathematical Logic
  • Fall 2019, 2021, 2023: Computability and Logic
  • Spring 2018, 2019: Discrete Mathematics

    • Publications

    1. S. Ou and Y. Liu. Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing. To appear in Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (ACL-2022), 2022. [pdf]


    2. K. Luo and Y. Liu. Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. In Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI-22), 2022. [pdf]


    3. W. He, C. Huang, Y. Liu and X. Zhu. WINOLOGIC: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge. In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing(EMNLP-2021), 2021 [pdf]


    4. C. Huang, W. He and Y. Liu. Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference. In Proceedings of The 2021 Conference on Empirical Methods in Natural Language Processing (Findings) (EMNLP-2021), 2021 [pdf]


    5. H. Wan, B. Fang and Y. Liu. A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. Artificial Intelligence 301 (2021) 103562. [pdf]


    6. Z. Cui, Y. Liu and K. Luo. A Uniform Abstraction Framework for Generalized Planning. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), 2021. [pdf]


    7. Z. Liu, L. Xiong, Y. Liu, Y. Lesperance, R. Xu and H. Shi. A Modal Logic for Joint Abilities under Strategy Commitments. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20), 2020. [pdf]


    8. K. Luo, Y. Liu, Y. Lesperance, and Z. Lin. Agent Abstraction via Forgetting in the Situation Calculus. In Proceedings of the Twenty-Fourth European Conference on Artificial Intelligence (ECAI-20), 2020. [pdf]


    9. J. Li and Y. Liu. Automatic Verification of Liveness Properties in the Situation Calculus. In Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-20), 2020. [pdf]


    10. K. Luo and Y. Liu. Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), 2019. [pdf]


    11. L. Fang, Y. Liu and H. van Ditmarsch. Forgetting in multi-agent modal logics. Artificial Intelligence, 266: 51-80, 2019. [pdf]


    12. 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. [pdf]


    13. 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. [pdf]


    14. 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. [pdf]


    15. 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]


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


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


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


    19. 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. [pdf]


    20. 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. [pdf]


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


    22. 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. [pdf]


    23. 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), 2013. [pdf]


    24. 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), 2013. [pdf]


    25. 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), 2013. [pdf]


    26. 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), 2012. [pdf] [slides] [poster]


    27. 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), 2011. [pdf]


    28. Y. Liu and B. Li. Automated Program Debugging via Multiple Predicate Switching. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), 2010. [pdf]


    29. 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), 2009. [pdf]


    30. Y. Liu. A Formalization of Program Debugging in the Situation Calculus. In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), 2008. [pdf]


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


    32. M. Patterson, Y. Liu, E. Ternovska and A. Gupta. Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. In Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), 2007. [pdf]


    33. Y. Liu and H.J. Levesque. Tractable reasoning with incomplete first-order knowledge in dynamic systems with context-dependent actions. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05), 2005. [pdf]


    34. Y. Liu and H.J. Levesque. Tractable reasoning in first-order knowledge bases with disjunctive information. In Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005. [pdf]


    35. Y. Liu, G. Lakemeyer, and H.J. Levesque. A logic of limited belief for reasoning with disjunctive information. In Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR-04), pages 587--597, 2004. [pdf]


    36. Y. Liu and H.J. Levesque. A tractability result for reasoning with incomplete first-order knowledge bases. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI-03), pages 83--88, 2003. [pdf]


    37. S.A. Cook and Y. Liu. A complete axiomatization for blocks world. Journal of Logic and Computation, 13(4):581--594, 2003. [pdf]


    38. Y. Liu. A Hoare-style proof system for robot programs. In Proceedings of the Eighteenth National Conference on Artificial Intellige (AAAI-02), pages 74--79, 2002. [pdf]