A knowledge-based approach to the shortest path problem in a digitized map | IEEE Conference Publication | IEEE Xplore