Inductive Certificates of Unsolvability for Domain-Independent Planning

Salomé Eriksson, Gabriele Röger, Malte Helmert. Inductive Certificates of Unsolvability for Domain-Independent Planning. In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 5244-5248, ijcai.org, 2018. [doi]

Authors

Salomé Eriksson

This author has not been identified. Look up 'Salomé Eriksson' in Google

Gabriele Röger

This author has not been identified. Look up 'Gabriele Röger' in Google

Malte Helmert

This author has not been identified. Look up 'Malte Helmert' in Google