Songtuan Lin

13 papers A* 9A 2B 1Journal 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Repairing Planning Domains Based on Lifted Test Plans.
ECAI
Nader Karimi Bavandpour, Pascal Lauer, Songtuan Lin, Pascal Bercher
2025 A* conf
Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans.
AAAI
Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher
2024 B conf
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions.
SOCS
Songtuan Lin, Daniel Höller, Pascal Bercher
2024 A* conf
NaRuto: Automatically Acquiring Planning Models from Narrative Texts.
AAAI
Ruiqi Li, Leyang Cui, Songtuan Lin, Patrik Haslum
2024 A* conf
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.
AAAI
Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher
2023 A conf
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
ECAI
Songtuan Lin, Gregor Behnke, Pascal Bercher
2023 J jnl
Automated Action Model Acquisition from Narrative Texts.
CoRR
Ruiqi Li, Leyang Cui, Songtuan Lin, Patrik Haslum
2023 A* conf
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
AAAI
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
2023 A* conf
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains.
AAAI
Songtuan Lin, Alban Grastien, Pascal Bercher
2023 A* conf
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains.
AAAI
Songtuan Lin, Pascal Bercher
2022 A* conf
On the Expressive Power of Planning Formalisms in Conjunction with LTL.
ICAPS
Songtuan Lin, Pascal Bercher
2022 A* conf
Tight Bounds for Hybrid Planning.
IJCAI
Pascal Bercher, Songtuan Lin, Ron Alford
2021 A* conf
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models.
IJCAI
Songtuan Lin, Pascal Bercher