A six-valued logic for representing incomplete knowledge | IEEE Conference Publication | IEEE Xplore