A rule-based system for localization of water on the surface of Mars | IEEE Conference Publication | IEEE Xplore