A homogeneous formalism for reasoning and learning in mobile robotics | IEEE Conference Publication | IEEE Xplore