Songtuan Lin
8 papers
· 2021–2025
· 2 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(2)
π
Renaissance Researcher
(5)
π§
Keyword Pioneer
πΊοΈ
Taxonomy Completionist
(10)
π
Interdisciplinary Bridge
π
Cross-Pollinator
(9)
π
Keyword Champion
(4)
π₯
Unstoppable
(5)
β
The Questioner
(2)
Conferences
AAAI (6)
IJCAI (2)
Top co-authors
Keywords
plan verification
(4)
planning domain
(4)
computational complexity
(4)
hierarchical task network
(4)
automated planning
(3)
htn planning
(3)
classical planning
(2)
hierarchical task network planning
(1)
decomposition method
(1)
causal link
(1)
planning domain model
(1)
planning model
(1)
event extraction
(1)
narrative text
(1)
context-free grammar
(1)
domain model
(1)
model repair
(1)
lifted representation
(1)
bounded plan existence
(1)
optimal repair
(1)