Songtuan Lin
8 papers · 2021–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (10) 🏆 Keyword Champion (4) 🔥 Unstoppable · Bronze
❓
The Questioner
(2)
Top co-authors
Research topics
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
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm
AAAI 2023
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
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