Yongmei Liu
28 papers · 2013–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🏃 Academic Marathon (12) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (5) 🐝 Cross-Pollinator (3)
🌍
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
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