A knowledge-based expert system for managing underground coal mines in the US | IEEE Journals & Magazine | IEEE Xplore