Liu, Yongmei

32 publications

AAAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity Ruiqi Jin, Yongmei Liu, Liping Xiong

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

IJCAI 2025 Solving QNP and FOND+ with Generating, Testing and Forbidding Zheyuan Shi, Hao Dong, Yongmei Liu

NeurIPS 2024 Confusion-Resistant Federated Learning via Diffusion-Based Data Harmonization on Non-IID Data Xiaohong Chen, Canran Xiao, Yongmei Liu

IJCAI 2023 Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning Zhenhe Cui, Weidu Kuang, Yongmei Liu

IJCAI 2022 A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search Hemeng Zeng, Yikun Liang, Yongmei Liu

AAAI 2022 Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement Kailun Luo, Yongmei Liu

IJCAI 2021 A Uniform Abstraction Framework for Generalized Planning Zhenhe Cui, Yongmei Liu, Kailun Luo

IJCAI 2020 A Modal Logic for Joint Abilities Under Strategy Commitments Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi

AAAI 2020 Automatic Verification of Liveness Properties in the Situation Calculus Jian Li, Yongmei Liu

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

IJCAI 2018 Multi-Agent Epistemic Planning with Common Knowledge Qiang Liu, Yongmei Liu

IJCAI 2017 A General Multi-Agent Epistemic Planner Based on Higher-Order Belief Change Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu

IJCAI 2016 Forgetting in Multi-Agent Modal Logics Liangda Fang, Yongmei Liu, Hans van Ditmarsch

IJCAI 2016 Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus Liping Xiong, Yongmei Liu

IJCAI 2015 A Complete Epistemic Planner Without the Epistemic Closed World Assumption Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu

IJCAI 2015 Automatic Verification of Partial Correctness of Golog Programs Naiqi Li, Yongmei Liu

IJCAI 2015 On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus Liangda Fang, Yongmei Liu, Ximing Wen

IJCAI 2013 Multi-Agent Epistemic Explanatory Diagnosis via Reasoning About Actions Quan Yu, Ximing Wen, Yongmei Liu

AAAI 2013 Multiagent Knowledge and Belief Change in the Situation Calculus Liangda Fang, Yongmei Liu

IJCAI 2013 Reasoning About State Constraints in the Situation Calculus Naiqi Li, Yi Fan, Yongmei Liu

AAAI 2012 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

IJCAI 2011 On the Progression of Knowledge in the Situation Calculus Yongmei Liu, Ximing Wen

AAAI 2010 Automated Program Debugging via Multiple Predicate Switching Yongmei Liu, Bing Li

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

AAAI 2008 A Formalization of Program Debugging in the Situation Calculus Yongmei Liu

JAIR 2008 On the Expressiveness of Levesque's Normal Form Yongmei Liu, Gerhard Lakemeyer

IJCAI 2007 Grounding for Model Expansion in K-Guarded Formulas with Inductive Definitions Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

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

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

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

AAAI 2002 A Hoare-Style Proof System for Robot Programs Yongmei Liu