Efficient multi-AUV cooperation using semantic knowledge representation for underwater archaeology missions | IEEE Conference Publication | IEEE Xplore