Yongmei Liu - RankMe

57 papers A* 32A 5Journal 9Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Enhancing Strategy Logic with Procedural Rationality. AAAI Ruiqi Jin, Shuyi Li, Yongmei Liu
2025	A*	`conf`	A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity. AAAI Ruiqi Jin, Yongmei Liu, Liping Xiong
2025	A*	`conf`	An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. AAAI Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu
2025	J	`jnl`	An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types. CoRR Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu
2025	—	`conf`	LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG. ACL (Findings) Ruikang Hu, Shaoyu Lin, Yeliang Xiu, Yongmei Liu
2025	A*	`conf`	MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions. EMNLP Yeliang Xiu, Yongmei Liu
2025	A*	`conf`	Solving QNP and FOND+ with Generating, Testing and Forbidding. IJCAI Zheyuan Shi, Hao Dong, Yongmei Liu
2023	A	`conf`	A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations. ECAI Aiting Liang, Yongmei Liu
2023	A*	`conf`	Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. IJCAI Zhenhe Cui, Weidu Kuang, Yongmei Liu
2023	A	`conf`	Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information. ECAI Zhaoshuai Liu, Aiting Liang, Yongmei Liu
2023	—	`conf`	Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. ACL (1) Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu
2022	A*	`conf`	A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. IJCAI Hemeng Zeng, Yikun Liang, Yongmei Liu
2022	A*	`conf`	Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. AAAI Kailun Luo, Yongmei Liu
2022	J	`jnl`	Automatic Verification of Sound Abstractions for Generalized Planning. CoRR Zhenhe Cui, Weidu Kuang, Yongmei Liu
2022	—	`conf`	Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing. ACL (1) Suixin Ou, Yongmei Liu
2022	—	`conf`	LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. EMNLP (Findings) Yeliang Xiu, Zhanhao Xiao, Yongmei Liu
2022	J	`jnl`	TRAC: A Textual Benchmark for Reasoning about Actions and Change. CoRR Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu
2021	A*	`conf`	A Uniform Abstraction Framework for Generalized Planning. IJCAI Zhenhe Cui, Yongmei Liu, Kailun Luo
2021	J	`jnl`	A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. Hai Wan, Biqing Fang, Yongmei Liu
2021	—	`conf`	Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference. EMNLP (Findings) Canming Huang, Weinan He, Yongmei Liu
2021	—	`conf`	WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge. EMNLP (1) Weinan He, Canming Huang, Yongmei Liu, Xiaodan Zhu
2020	A*	`conf`	A Modal Logic for Joint Abilities under Strategy Commitments. IJCAI Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi
2020	A	`conf`	Agent Abstraction via Forgetting in the Situation Calculus. ECAI Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin
2020	A*	`conf`	Automatic Verification of Liveness Properties in the Situation Calculus. AAAI Jian Li, Yongmei Liu
2019	A*	`conf`	Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. IJCAI Kailun Luo, Yongmei Liu
2019	J	`jnl`	Forgetting in multi-agent modal logics. Artif. Intell. Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2018	A*	`conf`	Multi-agent Epistemic Planning with Common Knowledge. IJCAI Qiang Liu, Yongmei Liu
2017	A*	`conf`	A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu
2016	A	`conf`	Automatic Verification of Golog Programs via Predicate Abstraction. ECAI Peiming Mo, Naiqi Li, Yongmei Liu
2016	J	`jnl`	Fault localization using disparities of dynamic invariants. J. Syst. Softw. Xiaoyan Wang, Yongmei Liu
2016	A*	`conf`	Forgetting in Multi-Agent Modal Logics. IJCAI Liangda Fang, Yongmei Liu, Hans van Ditmarsch
2016	A*	`conf`	Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. IJCAI Liping Xiong, Yongmei Liu
2016	A	`conf`	Strategy Representation and Reasoning in the Situation Calculus. ECAI Liping Xiong, Yongmei Liu
2015	A*	`conf`	A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
2015	J	`jnl`	Automated fault localization via hierarchical multiple predicate switching. J. Syst. Softw. Xiaoyan Wang, Yongmei Liu
2015	A*	`conf`	Automatic Verification of Partial Correctness of Golog Programs. IJCAI Naiqi Li, Yongmei Liu
2015	A*	`conf`	On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. IJCAI Liangda Fang, Yongmei Liu, Ximing Wen
2014	—	`ch.`	Incorporating Action Models into the Situation Calculus. Johan van Benthem on Logic and Information Dynamics Yongmei Liu, Hector J. Levesque
2013	A*	`conf`	Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. IJCAI Quan Yu, Ximing Wen, Yongmei Liu
2013	A*	`conf`	Multiagent Knowledge and Belief Change in the Situation Calculus. AAAI Liangda Fang, Yongmei Liu
2013	A*	`conf`	Reasoning about State Constraints in the Situation Calculus. IJCAI Naiqi Li, Yi Fan, Yongmei Liu
2012	A*	`conf`	A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. AAAI Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu
2011	A*	`conf`	On the Progression of Knowledge in the Situation Calculus. IJCAI Yongmei Liu, Ximing Wen
2010	A*	`conf`	Automated Program Debugging Via Multiple Predicate Switching. AAAI Yongmei Liu, Bing Li
2010	—	`conf`	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Cognitive Robotics Yongmei Liu, Gerhard Lakemeyer
2010	—	`conf`	On the Complexity of Model Expansion. LPAR (Yogyakarta) Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska
2009	A*	`conf`	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI Yongmei Liu, Gerhard Lakemeyer
2008	A*	`conf`	A Formalization of Program Debugging in the Situation Calculus. AAAI Yongmei Liu
2008	J	`jnl`	On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. Yongmei Liu, Gerhard Lakemeyer
2007	A*	`conf`	Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta
2005	A*	`conf`	Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI Yongmei Liu, Hector J. Levesque
2005	A*	`conf`	Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI Yongmei Liu, Hector J. Levesque
2004	A*	`conf`	A Logic of Limited Belief for Reasoning with Disjunctive Information. KR Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
2003	J	`jnl`	A Complete Axiomatization for Blocks World. J. Log. Comput. Stephen A. Cook, Yongmei Liu
2003	A*	`conf`	A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI Yongmei Liu, Hector J. Levesque
2002	—	`conf`	A Complete Axiomatization for Blocks World. AI&M Stephen A. Cook, Yongmei Liu
2002	—	`conf`	A Hoare-Style Proof System for Robot Programs. AAAI/IAAI Yongmei Liu