Yongmei Liu

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 30

Top Topics

Reasoning About Actions

Situation Calculus

Top Venues

Publications

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