conftrace_

domain correction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

model correction (1) np complexity (1) planning domain (1) plan verification (1) hierarchical task network (1) htn planning (1) computational complexity (1) automated planning (1)

Papers

Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains AAAI 2023