Non-monotonic inference system handling knowledge allowing classified exceptions | IEEE Conference Publication | IEEE Xplore