Using procedure reasoning system for knowledge discovery in data mining | IEEE Conference Publication | IEEE Xplore