Automated Planning Domain Inference for Task and Motion Planning | IEEE Conference Publication | IEEE Xplore