Yongmei Liu

28 papers · 2013–2026 · 5 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (3) 🌈 Renaissance Researcher (7) 🗺️ Taxonomy Completionist (35) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (5) 🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🧬 Topic Evolution 🔥 Unstoppable (11) 🚀 Conference Pioneer 💎 Century Club (27) ⚡ Prolific Year (5) 🗃️ Keyword Collector (93)

Conferences

IJCAI (15) AAAI (5) EMNLP (4) ACL (3) NIPS (1)

Top co-authors

Kailun Luo (3) Liangda Fang (3) Weinan He (3) Yeliang Xiu (3) Liping Xiong (3) Canming Huang (3) Ximing Wen (2) Zhanhao Xiao (2) Hao Dong (2) Zhenhe Cui (2)

Keywords

logical reasoning (5) formal verification (4) model checking (4) strategic reasoning (3) generalized planning (3) modal logic (3) situation calculus (3) multi-agent system (2) game theory (2) qualitative numeric planning (2) non-monotonic reasoning (2) knowledge representation (2) automated planning (2) large language model (2) commonsense reasoning (2) benchmark evaluation (2) multi-agent planning (2) belief revision (2) language model (2) distributed learning (1)

Papers

Enhancing Strategy Logic with Procedural Rationality AAAI 2026

LTRAG: Enhancing Autoformalization and Self-refinement for Logical Reasoning with Thought-Guided RAG ACL 2025

Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types AAAI 2025

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025

MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025

Confusion-Resistant Federated Learning via Diffusion-Based Data Harmonization on Non-IID Data NIPS 2024

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning IJCAI 2023

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

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

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

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

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

A Uniform Abstraction Framework for Generalized Planning IJCAI 2021

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

Improving Unsupervised Commonsense Reasoning Using Knowledge-Enabled Natural Language Inference EMNLP 2021

Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020

A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020

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

Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018

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

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

Forgetting in Multi-Agent Modal Logics IJCAI 2016

A Complete Epistemic Planner without the Epistemic Closed World Assumption IJCAI 2015

Automatic Verification of Partial Correctness of Golog Programs IJCAI 2015

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

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions IJCAI 2013

Reasoning about State Constraints in the Situation Calculus IJCAI 2013