published in Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence