Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains by Lin, Songtuan, Bercher, Pascal

Get full text

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

Get full text

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

Get full text

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

Get full text

On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm by Lin, Songtuan, Behnke, Gregor, Ondrčková, Simona, Barták, Roman, Bercher, Pascal

Get full text

Automated Action Model Acquisition from Narrative Texts by Li, Ruiqi, Cui, Leyang, Lin, Songtuan, Haslum, Patrik

Get full text