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. In Proceedings 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. In Proceedings 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.
