Using default logic to enhance default logic: preliminary report | IEEE Conference Publication | IEEE Xplore