Salomé Eriksson, Gabriele Röger, Malte Helmert
A Proof System for Unsolvable Planning Tasks
Categories
ICAPSInternational Conference on Automated Planning and Scheduling
ICAPSSalomé Eriksson, Gabriele Röger, Malte Helmert
A Proof System for Unsolvable Planning Tasks