Quasi-Classical Model Semantics for Logic Programs

Zhihu Zhang Zuoquan Lin Shuang Ren Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. 181-190 2009 ISMIS http://dx.doi.org/10.1007/978-3-642-04125-9_21 conf/ismis/2009 db/conf/ismis/ismis2009.html#ZhangLR09