Publications

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


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


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


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


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


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


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


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


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


  10. Y. Futamura, C. Shirai, Y. Liu and N. Futamura. P-segment tables: data structures for programming problems concerning segments. Journal of Information Processing Society of Japan, 38(6):1192--1203, 1997.