Yongmei Liu

According to our database, Yongmei Liu authored at least 47 papers between 2002 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information.

Zhaoshuai Liu, Aiting Liang, Yongmei Liu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations.

Aiting Liang, Yongmei Liu

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change.

Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

TRAC: A Textual Benchmark for Reasoning about Actions and Change.

Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu

CoRR, 2022

Automatic Verification of Sound Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

CoRR, 2022

A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search.

Hemeng Zeng, Yikun Liang, Yongmei Liu

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models.

Yeliang Xiu, Zhanhao Xiao, Yongmei Liu

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing.

Suixin Ou, Yongmei Liu

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2022

Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement.

Kailun Luo, Yongmei Liu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

A general multi-agent epistemic planner based on higher-order belief change.

Hai Wan, Biqing Fang, Yongmei Liu

Artif. Intell., 2021

A Uniform Abstraction Framework for Generalized Planning.

Zhenhe Cui, Yongmei Liu, Kailun Luo

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference.

Canming Huang, Weinan He, Yongmei Liu

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021

WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge.

Weinan He, Canming Huang, Yongmei Liu, Xiaodan Zhu

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

2020

A Modal Logic for Joint Abilities under Strategy Commitments.

Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Agent Abstraction via Forgetting in the Situation Calculus.

Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Automatic Verification of Liveness Properties in the Situation Calculus.

Jian Li, Yongmei Liu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Forgetting in multi-agent modal logics.

Liangda Fang, Yongmei Liu, Hans van Ditmarsch

Artif. Intell., 2019

Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants.

Kailun Luo, Yongmei Liu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Multi-agent Epistemic Planning with Common Knowledge.

Qiang Liu, Yongmei Liu

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

A General Multi-agent Epistemic Planner Based on Higher-order Belief Change.

Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Fault localization using disparities of dynamic invariants.

Xiaoyan Wang, Yongmei Liu

J. Syst. Softw., 2016

Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus.

Liping Xiong, Yongmei Liu

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Strategy Representation and Reasoning in the Situation Calculus.

Liping Xiong, Yongmei Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Automatic Verification of Golog Programs via Predicate Abstraction.

Peiming Mo, Naiqi Li, Yongmei Liu

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Automated fault localization via hierarchical multiple predicate switching.

Xiaoyan Wang, Yongmei Liu

J. Syst. Softw., 2015

A Complete Epistemic Planner without the Epistemic Closed World Assumption.

Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Automatic Verification of Partial Correctness of Golog Programs.

Naiqi Li, Yongmei Liu

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus.

Liangda Fang, Yongmei Liu, Ximing Wen

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Incorporating Action Models into the Situation Calculus.

Yongmei Liu, Hector J. Levesque

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.

Quan Yu, Ximing Wen, Yongmei Liu

Proceedings of the IJCAI 2013, 2013

Reasoning about State Constraints in the Situation Calculus.

Naiqi Li, Yi Fan, Yongmei Liu

Proceedings of the IJCAI 2013, 2013

Multiagent Knowledge and Belief Change in the Situation Calculus.

Liangda Fang, Yongmei Liu

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

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

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

On the Progression of Knowledge in the Situation Calculus.

Yongmei Liu, Ximing Wen

Proceedings of the IJCAI 2011, 2011

2010

On the Complexity of Model Expansion.

Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.

Yongmei Liu, Gerhard Lakemeyer

Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Automated Program Debugging Via Multiple Predicate Switching.

Yongmei Liu, Bing Li

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2008

On the Expressiveness of Levesque's Normal Form.

Yongmei Liu, Gerhard Lakemeyer

J. Artif. Intell. Res., 2008

A Formalization of Program Debugging in the Situation Calculus.

Yongmei Liu

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions.

Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta

Proceedings of the IJCAI 2007, 2007

2005

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions.

Yongmei Liu, Hector J. Levesque

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.

Yongmei Liu, Hector J. Levesque

Proceedings of the Proceedings, 2005

2004

A Logic of Limited Belief for Reasoning with Disjunctive Information.

Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

A Complete Axiomatization for Blocks World.

Stephen A. Cook, Yongmei Liu

J. Log. Comput., 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.

Yongmei Liu, Hector J. Levesque

Proceedings of the IJCAI-03, 2003

2002

A Hoare-Style Proof System for Robot Programs.

Yongmei Liu

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002