Multi-Hypothesis Task Planning: integrating temporal AI planning and semantic world modeling for AUV inspections in unknown environments | IEEE Conference Publication | IEEE Xplore