Rule based procedures for diagnosis and error recovery | IEEE Conference Publication | IEEE Xplore