项目

国家自然科学基金项目，研究基于归结证明的不完全知识推理可解释性。

贵州省科技支撑项目，研究基于本体的数据访问和多元数据共享。

基于区块链技术的多方清结算系统研发项目。

国家自然科学基金项目，研究析取逻辑程序的归纳学习。

国家自然科学基金子项目，研究块数据融合分析理论与安全管控模型。

优秀人才培养专项资金项目，研究不完全知识处理关键技术。

贵州省科技基金项目，研究非单调逻辑的归纳学习。

国家自然科学基金项目，研究遗忘理论及其应用。

贵州省长征资金项目，研究基于遗忘的诊断推理。

国家重点实验室项目，研究语义网的非单调推理。