Deqian Liu

An Ontology-Based System for Generating Mathematical Test Papers

Jianfeng Du, Can Lin, Jiayi Cheng, 2014, CSWS.

A System for Tractable Computation of Negative Answers to Conjunctive Queries

Jianfeng Du, Jiaqi Liang, Can Lin, 2014, CSWS.