10.24963/ijcai.2017/745