Projects

Resolution Proof Based Explainability for Incomplete Knowledge Reasoning and Its Applications
National Natural Science Foundation of China (NSFC) project focused on resolution proof-based explainability for incomplete knowledge reasoning.
Jan 1, 2024
Research on Key Technologies and Industrial Application of Multivariate Data Sharing Based on Ontology Data Access
Guizhou Science Support Project on ontology-based data access and multivariate data sharing.
Apr 1, 2022
Inductive Learning Disjunctive Logic Programs and Its Application
National Natural Science Foundation of China (NSFC) project on inductive learning of disjunctive logic programs.
Jan 1, 2020
Research and Development of Multi-party Clearing and Settlement System Based on Blockchain
Research and development project focused on blockchain-based multi-party clearing and settlement system.
Jan 1, 2020
The Research on Fusion Analysis Theory and Secure Control Models of Block Data for Data Sharing and Applications
NSFC subproject on fusion analysis theory and secure control models of block data.
Jan 1, 2019
A Study on Key Techniques for Handling Incomplete Knowledge
Special funds for training outstanding talents focused on key techniques for handling incomplete knowledge.
Aug 1, 2015
Inductive Learning in Nonmonotonic Logic and Its Applications
Science and Technology Foundation of Guizhou Province project on inductive learning in nonmonotonic logic.
Dec 1, 2014
Forgetting Theory and Its Applications in Incomplete Knowledge Base
National Natural Science Foundation of China (NSFC) project on forgetting theory and its applications.
Jan 1, 2014
The Research and Application of Diagnosis Reasoning Based-on Forgetting in Logic Programs
Stadholder Fund of Guizhou Province on diagnosis reasoning based on forgetting.
Jan 1, 2013
The Study of Key Technologies of Nonmonotonic Reasoning for the Semantic Web
State Key Laboratory of Computer Science project on nonmonotonic reasoning for semantic web.
Jan 1, 2011