A Strategy to Validate Knowledge Representation in Service Robots through Experimentation Applied to the SLAM Domain | IEEE Conference Publication | IEEE Xplore