Reasoning Systems for Semantic Navigation in Mobile Robots | IEEE Conference Publication | IEEE Xplore