Songtuan Lin
8 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π 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)
Papers
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans
AAAI 2025
NaRuto: Automatically Acquiring Planning Models from Narrative Texts
AAAI 2024
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence
AAAI 2024
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains
AAAI 2023
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains
AAAI 2023
On Total-Order HTN Plan Verification with Method Preconditions β An Extension of the CYK Parsing Algorithm
AAAI 2023
Tight Bounds for Hybrid Planning
IJCAI 2022
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models
IJCAI 2021