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
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)