Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.

Zhihu Zhang, Zuoquan Lin, Shuang Ren

Browse the full ISMIS paper archive.