Re: [Planning-inf] IJCAI submissions