Spatial Representation And Reasoning For Robot Mapping door Diedrich Wolter