![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Yongmei Liu 0001
Person information
- affiliation: Sun Yat-sen University, China
- affiliation: University of Toronto, Canada
Other persons with the same name
- Yongmei Liu — disambiguation page
- Yongmei Liu 0002 — Illinois State University
- Yongmei Liu 0003 — Wake Forest University
- Yongmei Liu 0004 — China Electric Power Research Institute, Beijing
- Yongmei Liu 0005 — Nagoya University
- Yongmei Liu 0006
— Central South University, School of Business, Changsha, China (and 1 more)
- Yongmei Liu 0008 — Harbin Engineering University, China
- Yongmei Liu 0009 — Inner Mongolia University, Hohhot, China
- Yongmei Liu 0010 — Capital Normal University, Beijing, China
- Yongmei Liu 0011 — Northwest University, College of Urban and Environmental Science, Xi'an, China
- Yongmei Liu 0012 — Xiamen Institution of Technology, China
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c40]Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu:
Exploring the Capacity of Pretrained Language Models for Reasoning about Actions and Change. ACL (1) 2023: 4629-4643 - [c39]Aiting Liang
, Yongmei Liu
:
A Model-Theoretic Approach to Belief Revision in Multi-Agent Belief Logic and Its Syntactic Characterizations. ECAI 2023: 1463-1472 - [c38]Zhaoshuai Liu
, Aiting Liang
, Yongmei Liu
:
Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information. ECAI 2023: 1576-1584 - [c37]Zhenhe Cui, Weidu Kuang, Yongmei Liu:
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. IJCAI 2023: 3149-3157 - 2022
- [c36]Kailun Luo, Yongmei Liu:
Automated Synthesis of Generalized Invariant Strategies via Counterexample-Guided Strategy Refinement. AAAI 2022: 5800-5808 - [c35]Suixin Ou, Yongmei Liu:
Learning to Generate Programs for Table Fact Verification via Structure-Aware Semantic Parsing. ACL (1) 2022: 7624-7638 - [c34]Yeliang Xiu, Zhanhao Xiao, Yongmei Liu:
LogicNMR: Probing the Non-monotonic Reasoning Ability of Pre-trained Language Models. EMNLP (Findings) 2022: 3616-3626 - [c33]Hemeng Zeng, Yikun Liang, Yongmei Liu:
A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. IJCAI 2022: 4693-4700 - [i3]Zhenhe Cui, Weidu Kuang, Yongmei Liu:
Automatic Verification of Sound Abstractions for Generalized Planning. CoRR abs/2205.11898 (2022) - [i2]Weinan He, Canming Huang, Zhanhao Xiao, Yongmei Liu:
TRAC: A Textual Benchmark for Reasoning about Actions and Change. CoRR abs/2211.13930 (2022) - 2021
- [j6]Hai Wan, Biqing Fang
, Yongmei Liu:
A general multi-agent epistemic planner based on higher-order belief change. Artif. Intell. 301: 103562 (2021) - [c32]Weinan He, Canming Huang, Yongmei Liu, Xiaodan Zhu:
WinoLogic: A Zero-Shot Logic-based Diagnostic Dataset for Winograd Schema Challenge. EMNLP (1) 2021: 3779-3789 - [c31]Canming Huang, Weinan He, Yongmei Liu:
Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference. EMNLP (Findings) 2021: 4875-4885 - [c30]Zhenhe Cui, Yongmei Liu, Kailun Luo:
A Uniform Abstraction Framework for Generalized Planning. IJCAI 2021: 1837-1844 - 2020
- [c29]Jian Li, Yongmei Liu:
Automatic Verification of Liveness Properties in the Situation Calculus. AAAI 2020: 2886-2892 - [c28]Kailun Luo, Yongmei Liu, Yves Lespérance, Ziliang Lin:
Agent Abstraction via Forgetting in the Situation Calculus. ECAI 2020: 809-816 - [c27]Zhaoshuai Liu, Liping Xiong, Yongmei Liu, Yves Lespérance, Ronghai Xu, Hongyi Shi:
A Modal Logic for Joint Abilities under Strategy Commitments. IJCAI 2020: 1805-1812
2010 – 2019
- 2019
- [j5]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in multi-agent modal logics. Artif. Intell. 266: 51-80 (2019) - [c26]Kailun Luo, Yongmei Liu:
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants. IJCAI 2019: 1814-1821 - 2018
- [c25]Qiang Liu, Yongmei Liu:
Multi-agent Epistemic Planning with Common Knowledge. IJCAI 2018: 1912-1920 - 2017
- [c24]Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu:
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change. IJCAI 2017: 1093-1101 - 2016
- [j4]Xiaoyan Wang
, Yongmei Liu:
Fault localization using disparities of dynamic invariants. J. Syst. Softw. 122: 144-154 (2016) - [c23]Peiming Mo, Naiqi Li, Yongmei Liu:
Automatic Verification of Golog Programs via Predicate Abstraction. ECAI 2016: 760-768 - [c22]Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning in the Situation Calculus. ECAI 2016: 982-990 - [c21]Liangda Fang, Yongmei Liu, Hans van Ditmarsch:
Forgetting in Multi-Agent Modal Logics. IJCAI 2016: 1066-1073 - [c20]Liping Xiong, Yongmei Liu:
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus. IJCAI 2016: 1322-1329 - 2015
- [j3]Xiaoyan Wang
, Yongmei Liu:
Automated fault localization via hierarchical multiple predicate switching. J. Syst. Softw. 104: 69-81 (2015) - [c19]Liangda Fang, Yongmei Liu, Ximing Wen:
On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus. IJCAI 2015: 2955-2963 - [c18]Naiqi Li, Yongmei Liu:
Automatic Verification of Partial Correctness of Golog Programs. IJCAI 2015: 3113-3119 - [c17]Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu:
A Complete Epistemic Planner without the Epistemic Closed World Assumption. IJCAI 2015: 3257-3263 - 2014
- [p1]Yongmei Liu, Hector J. Levesque:
Incorporating Action Models into the Situation Calculus. Johan van Benthem on Logic and Information Dynamics 2014: 569-590 - 2013
- [c16]Liangda Fang, Yongmei Liu:
Multiagent Knowledge and Belief Change in the Situation Calculus. AAAI 2013: 304-312 - [c15]Naiqi Li, Yi Fan, Yongmei Liu:
Reasoning about State Constraints in the Situation Calculus. IJCAI 2013: 997-1003 - [c14]Quan Yu, Ximing Wen, Yongmei Liu:
Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions. IJCAI 2013: 1183-1190 - 2012
- [c13]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: 734-742 - 2011
- [c12]Yongmei Liu, Ximing Wen:
On the Progression of Knowledge in the Situation Calculus. IJCAI 2011: 976-982 - 2010
- [c11]Yongmei Liu, Bing Li:
Automated Program Debugging Via Multiple Predicate Switching. AAAI 2010: 327-332 - [c10]Antonina Kolokolova, Yongmei Liu, David G. Mitchell, Eugenia Ternovska:
On the Complexity of Model Expansion. LPAR (Yogyakarta) 2010: 447-458 - [i1]Yongmei Liu, Gerhard Lakemeyer:
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Cognitive Robotics 2010
2000 – 2009
- 2009
- [c9]Yongmei Liu, Gerhard Lakemeyer:
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866 - 2008
- [j2]Yongmei Liu, Gerhard Lakemeyer:
On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. 31: 259-272 (2008) - [c8]Yongmei Liu:
A Formalization of Program Debugging in the Situation Calculus. AAAI 2008: 486-491 - 2007
- [c7]Murray Patterson, Yongmei Liu, Eugenia Ternovska, Arvind Gupta:
Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions. IJCAI 2007: 161-166 - 2005
- [c6]Yongmei Liu, Hector J. Levesque:
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. AAAI 2005: 639-644 - [c5]Yongmei Liu, Hector J. Levesque:
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. IJCAI 2005: 522-527 - 2004
- [c4]Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597 - 2003
- [j1]Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World. J. Log. Comput. 13(4): 581-594 (2003) - [c3]Yongmei Liu, Hector J. Levesque:
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. IJCAI 2003: 83-88 - 2002
- [c2]Yongmei Liu:
A Hoare-Style Proof System for Robot Programs. AAAI/IAAI 2002: 74-79 - [c1]Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World. AI&M 2002
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint