Research on IDSS and Reasoning Algorithm of Coal Mine Extraction-Tunneling Plans | IEEE Conference Publication | IEEE Xplore