A Hoare-Style Proof System for Robot Programs. - Yongmei Liu 001 (AAAI/IAAI, 2002)

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. - Yongmei Liu 001; Hector J. Levesque (IJCAI, 2003)

A Complete Axiomatization for Blocks World. - Stephen A. Cook; Yongmei Liu 001 (J. Log. Comput., 2003)

A Logic of Limited Belief for Reasoning with Disjunctive Information. - Yongmei Liu 001; Gerhard Lakemeyer; Hector J. Levesque (KR, 2004)

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. - Yongmei Liu 001; Hector J. Levesque (AAAI, 2005)

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. - Yongmei Liu 001; Hector J. Levesque (IJCAI, 2005)

Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. - Murray Patterson; Yongmei Liu 001; Eugenia Ternovska; Arvind Gupta (IJCAI, 2007)

A Formalization of Program Debugging in the Situation Calculus. - Yongmei Liu 001 (AAAI, 2008)

On the Expressiveness of Levesque's Normal Form. - Yongmei Liu 001; Gerhard Lakemeyer (J. Artif. Intell. Res., 2008)

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. - Yongmei Liu 001; Gerhard Lakemeyer (IJCAI, 2009)

Automated Program Debugging Via Multiple Predicate Switching. - Yongmei Liu 001; Bing Li (AAAI, 2010)

On the Complexity of Model Expansion. - Antonina Kolokolova; Yongmei Liu 001; David G. Mitchell; Eugenia Ternovska (LPAR (Yogyakarta), 2010)

On the Progression of Knowledge in the Situation Calculus. - Yongmei Liu 001; Ximing Wen (IJCAI, 2011)

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 001 (AAAI, 2012)

Multiagent Knowledge and Belief Change in the Situation Calculus. - Liangda Fang; Yongmei Liu 001 (AAAI, 2013)

Reasoning about State Constraints in the Situation Calculus. - Naiqi Li; Yi Fan; Yongmei Liu 001 (IJCAI, 2013)

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. - Quan Yu; Ximing Wen; Yongmei Liu 001 (IJCAI, 2013)

Incorporating Action Models into the Situation Calculus. - Yongmei Liu 001; Hector J. Levesque (Johan van Benthem on Logic and Information Dynamics, 2014)

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. - Liangda Fang; Yongmei Liu 001; Ximing Wen (IJCAI, 2015)

Automatic Verification of Partial Correctness of Golog Programs. - Naiqi Li; Yongmei Liu 001 (IJCAI, 2015)

A Complete Epistemic Planner without the Epistemic Closed World Assumption. - Hai Wan; Rui Yang; Liangda Fang; Yongmei Liu 001; Huada Xu (IJCAI, 2015)

Automated fault localization via hierarchical multiple predicate switching. - Xiaoyan Wang; Yongmei Liu 001 (J. Syst. Softw., 2015)

Automatic Verification of Golog Programs via Predicate Abstraction. - Peiming Mo; Naiqi Li; Yongmei Liu 001 (ECAI, 2016)

Strategy Representation and Reasoning in the Situation Calculus. - Liping Xiong; Yongmei Liu 001 (ECAI, 2016)

Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. - Liping Xiong; Yongmei Liu 001 (IJCAI, 2016)

Fault localization using disparities of dynamic invariants. - Xiaoyan Wang; Yongmei Liu 001 (J. Syst. Softw., 2016)

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. - Xiao Huang; Biqing Fang; Hai Wan; Yongmei Liu 001 (IJCAI, 2017)

Multi-agent Epistemic Planning with Common Knowledge. - Qiang Liu; Yongmei Liu 001 (IJCAI, 2018)

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. - Kailun Luo; Yongmei Liu 001 (IJCAI, 2019)

Forgetting in multi-agent modal logics. - Liangda Fang; Yongmei Liu 001; Hans van Ditmarsch (Artif. Intell., 2019)

Automatic Verification of Liveness Properties in the Situation Calculus. - Jian Li; Yongmei Liu 001 (AAAI, 2020)

Agent Abstraction via Forgetting in the Situation Calculus. - Kailun Luo; Yongmei Liu 001; Yves Lespérance; Ziliang Lin (ECAI, 2020)

A Modal Logic for Joint Abilities under Strategy Commitments. - Zhaoshuai Liu; Liping Xiong; Yongmei Liu 001; Yves Lespérance; Ronghai Xu; Hongyi Shi (IJCAI, 2020)

WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge. - Weinan He 001; Canming Huang; Yongmei Liu 001; Xiaodan Zhu 001 (EMNLP (1), 2021)

Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference. - Canming Huang; Weinan He 001; Yongmei Liu 001 (EMNLP (Findings), 2021)

A Uniform Abstraction Framework for Generalized Planning. - Zhenhe Cui; Yongmei Liu 001; Kailun Luo (IJCAI, 2021)

A general multi-agent epistemic planner based on higher-order belief change. - Hai Wan; Biqing Fang; Yongmei Liu 001 (Artif. Intell., 2021)

Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. - Kailun Luo; Yongmei Liu 001 (AAAI, 2022)

Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing. - Suixin Ou; Yongmei Liu 001 (ACL (1), 2022)

LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. - Yeliang Xiu; Zhanhao Xiao; Yongmei Liu 001 (EMNLP (Findings), 2022)

A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. - Hemeng Zeng; Yikun Liang; Yongmei Liu 001 (IJCAI, 2022)

Automatic Verification of Sound Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (CoRR, 2022)

TRAC: A Textual Benchmark for Reasoning about Actions and Change. - Weinan He 001; Canming Huang; Zhanhao Xiao; Yongmei Liu 001 (CoRR, 2022)

Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. - Weinan He 001; Canming Huang; Zhanhao Xiao; Yongmei Liu 001 (ACL (1), 2023)

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations. - Aiting Liang; Yongmei Liu 001 (ECAI, 2023)

Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information. - Zhaoshuai Liu; Aiting Liang; Yongmei Liu 001 (ECAI, 2023)

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. - Zhenhe Cui; Weidu Kuang; Yongmei Liu 001 (IJCAI, 2023)

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. - Hao Dong; Zheyuan Shi; Hemeng Zeng; Yongmei Liu 001 (AAAI, 2025)

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity. - Ruiqi Jin 002; Yongmei Liu 001; Liping Xiong (AAAI, 2025)

LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG. - Ruikang Hu; Shaoyu Lin; Yeliang Xiu; Yongmei Liu 001 (ACL (Findings), 2025)