A decision support system for water inrush in coalmine based on BN (Bayesian network) and GIS | IEEE Conference Publication | IEEE Xplore