Automating Representation Change Across Domains for Reasoning | IEEE Conference Publication | IEEE Xplore