A System for Tractable Computation of Negative Answers to Conjunctive Queries. - Jianfeng Du; Deqian Liu; Can Lin; Xuzhi Zhou; Jiaqi Liang (CSWS, 2014)

An Ontology-Based System for Generating Mathematical Test Papers. - Jianfeng Du; Xuzhi Zhou; Can Lin; Deqian Liu; Jiayi Cheng (CSWS, 2014)