Implication operators in fuzzy relational products for a local path-planning of AUVs | IEEE Conference Publication | IEEE Xplore