Markov Logic Networks for context integration and situation assessment in maritime domain | IEEE Conference Publication | IEEE Xplore