Restricted Four-Valued Logic for Default Reasoning.

Chen Chen, Zuoquan Lin

Browse the full KSEM paper archive.