Prediction of minerals in rock images using Markov logic | IEEE Conference Publication | IEEE Xplore