Lin, Songtuan

8 publications

AAAI 2025 Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher

AAAI 2024 NaRuto: Automatically Acquiring Planning Models from Narrative Texts Ruiqi Li, Leyang Cui, Songtuan Lin, Patrik Haslum

AAAI 2024 On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher

AAAI 2023 On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher

AAAI 2023 Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains Songtuan Lin, Alban Grastien, Pascal Bercher

AAAI 2023 Was Fixing This Really That Hard? on the Complexity of Correcting HTN Domains Songtuan Lin, Pascal Bercher

IJCAI 2022 Tight Bounds for Hybrid Planning Pascal Bercher, Songtuan Lin, Ron Alford

IJCAI 2021 Change the World - How Hard Can That Be? on the Computational Complexity of Fixing Planning Models Songtuan Lin, Pascal Bercher