An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. - Xiaowang Zhang; Zhihu Zhang; Zuoquan Lin (Description Logics, 2009)

Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. - Zhihu Zhang; Zuoquan Lin; Shuang Ren (ISMIS, 2009)

Argumentation-Based Reasoning with Inconsistent Knowledge Bases. - Xiaowang Zhang; Zhihu Zhang; Dai Xu; Zuoquan Lin (Canadian AI, 2010)

Enhancing Dung's Preferred Semantics. - Zhihu Zhang; Zuoquan Lin (FoIKS, 2010)

Dynamic updates of 3D orebody surface models. - Zengyu Zhao; Mao Pan; Zhongbo Gao; Zhihu Zhang; Yi Jin 005 (Geoinformatics, 2010)

Minimal hypotheses: extension-based semantics to argumentation. - Zhihu Zhang; Zuoquan Lin (Ann. Math. Artif. Intell., 2012)

Design of mineral deposit prediction expert system based on GIS and answer set programming. - Zengyu Zhao; Huogen Chen; Mao Pan; Zhihu Zhang (Geoinformatics, 2015)