| 2026 | AAAI | Enhancing Strategy Logic with Procedural Rationality. | Ruiqi Jin, Shuyi Li, Yongmei Liu |
| 2026 | ACL | PrefRAG: Correcting Semantic Errors in Auto-Formalization for Logical Reasoning with Program Preference RAG. | Yuyin Zhou, Yongmei Liu |
| 2025 | AAAI | An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. | Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu |
| 2025 | AAAI | A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity. | Ruiqi Jin, Yongmei Liu, Liping Xiong |
| 2025 | ACL | LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG. | Ruikang Hu, Shaoyu Lin, Yeliang Xiu, Yongmei Liu |
| 2025 | EMNLP | MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions. | Yeliang Xiu, Yongmei Liu |
| 2025 | IJCAI | Solving QNP and FOND+ with Generating, Testing and Forbidding. | Zheyuan Shi, Hao Dong, Yongmei Liu |
| 2025 | SMC | Rehearsal-Free Federated Continual Learning: An Orthogonal Projection Approach. | Hualong Cui, Yongqiang Gao, Yongmei Liu, Mingyu Pang |
| 2023 | ACL | Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. | Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu |
| 2023 | ECAI | A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations. | Aiting Liang, Yongmei Liu |
| 2023 | ECAI | Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information. | Zhaoshuai Liu, Aiting Liang, Yongmei Liu |
| 2023 | IJCAI | Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. | Zhenhe Cui, Weidu Kuang, Yongmei Liu |
| 2022 | AAAI | Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. | Kailun Luo, Yongmei Liu |
| 2022 | ACL | Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing. | Suixin Ou, Yongmei Liu |
| 2022 | EMNLP | LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. | Yeliang Xiu, Zhanhao Xiao, Yongmei Liu |
| 2022 | IJCAI | A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. | Hemeng Zeng, Yikun Liang, Yongmei Liu |
| 2021 | EMNLP | WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge. | Weinan He, Canming Huang, Yongmei Liu, Xiaodan Zhu |
| 2021 | EMNLP | Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference. | Canming Huang, Weinan He, Yongmei Liu |
| 2021 | IJCAI | A Uniform Abstraction Framework for Generalized Planning. | Zhenhe Cui, Yongmei Liu, Kailun Luo |
| 2020 | AAAI | Automatic Verification of Liveness Properties in the Situation Calculus. | Jian Li, Yongmei Liu |
| 2020 | ECAI | Agent Abstraction via Forgetting in the Situation Calculus. | Kailun Luo, Yongmei Liu, Yves Lesprance, Ziliang Lin |
| 2020 | IJCAI | A Modal Logic for Joint Abilities under Strategy Commitments. | Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lesprance, Ronghai Xu, Hongyi Shi |
| 2019 | IJCAI | Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. | Kailun Luo, Yongmei Liu |
| 2018 | IJCAI | Multi-agent Epistemic Planning with Common Knowledge. | Qiang Liu, Yongmei Liu |
| 2017 | IJCAI | A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. | Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu |
| 2016 | ECAI | Automatic Verification of Golog Programs via Predicate Abstraction. | Peiming Mo, Naiqi Li, Yongmei Liu |
| 2016 | ECAI | Strategy Representation and Reasoning in the Situation Calculus. | Liping Xiong, Yongmei Liu |
| 2016 | IJCAI | Forgetting in Multi-Agent Modal Logics. | Liangda Fang, Yongmei Liu, Hans van Ditmarsch |
| 2016 | IJCAI | Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. | Liping Xiong, Yongmei Liu |
| 2015 | IJCAI | On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. | Liangda Fang, Yongmei Liu, Ximing Wen |
| 2015 | IJCAI | Automatic Verification of Partial Correctness of Golog Programs. | Naiqi Li, Yongmei Liu |
| 2015 | IJCAI | A Complete Epistemic Planner without the Epistemic Closed World Assumption. | Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu |
| 2013 | AAAI | Multiagent Knowledge and Belief Change in the Situation Calculus. | Liangda Fang, Yongmei Liu |
| 2013 | IJCAI | Reasoning about State Constraints in the Situation Calculus. | Naiqi Li, Yi Fan, Yongmei Liu |
| 2013 | IJCAI | Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. | Quan Yu, Ximing Wen, Yongmei Liu |
| 2012 | AAAI | A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. | Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu |
| 2011 | IJCAI | On the Progression of Knowledge in the Situation Calculus. | Yongmei Liu, Ximing Wen |
| 2010 | AAAI | Automated Program Debugging Via Multiple Predicate Switching. | Yongmei Liu, Bing Li |
| 2010 | LPAR | On the Complexity of Model Expansion. | Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska |
| 2009 | IJCAI | On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. | Yongmei Liu, Gerhard Lakemeyer |
| 2008 | AAAI | A Formalization of Program Debugging in the Situation Calculus. | Yongmei Liu |
| 2007 | IJCAI | Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. | Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta |
| 2006 | IDEAL | A Method of Motion Segmentation Based on Region Shrinking. | Zhihui Li, Fenggang Huang, Yongmei Liu |
| 2005 | AAAI | Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. | Yongmei Liu, Hector J. Levesque |
| 2005 | IJCAI | Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. | Yongmei Liu, Hector J. Levesque |
| 2004 | KR | A Logic of Limited Belief for Reasoning with Disjunctive Information. | Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
| 2003 | IJCAI | A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. | Yongmei Liu, Hector J. Levesque |
| 2002 | AAAI | A Hoare-Style Proof System for Robot Programs. | Yongmei Liu |
| 2002 | ISAIM | A Complete Axiomatization for Blocks World. | Stephen A. Cook, Yongmei Liu |
| 1999 | IROS | Character-based mobile robot navigation. | Yongmei Liu, Toshimitsu Tanaka, Tsuyoshi Yamamura, Noboru Ohnishi |
| 1998 | ACCV | Detecting Characters in Grey-Scale Scene Images. | Yongmei Liu, Tsuyoshi Yamamura, Noboru Ohnishi, Noboru Sugie |