Login / Signup
Songtuan Lin
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 8
Top Topics
Htn Planning
Expressive Power
Partial Observability
Planning Domains
Top Venues
AAAI
IJCAI
ICAPS
CoRR
</>
Publications
</>
Songtuan Lin
,
Gregor Behnke
,
Simona Ondrcková
,
Roman Barták
,
Pascal Bercher
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.
AAAI
(2023)
Songtuan Lin
,
Pascal Bercher
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains.
AAAI
(2023)
Ruiqi Li
,
Leyang Cui
,
Songtuan Lin
,
Patrik Haslum
Automated Action Model Acquisition from Narrative Texts.
CoRR
(2023)
Songtuan Lin
,
Gregor Behnke
,
Pascal Bercher
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.
ECAI
(2023)
Songtuan Lin
,
Alban Grastien
,
Pascal Bercher
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains.
AAAI
(2023)
Pascal Bercher
,
Songtuan Lin
,
Ron Alford
Tight Bounds for Hybrid Planning.
IJCAI
(2022)
Songtuan Lin
,
Pascal Bercher
On the Expressive Power of Planning Formalisms in Conjunction with LTL.
ICAPS
(2022)
Songtuan Lin
,
Pascal Bercher
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models.
IJCAI
(2021)