Basic Problems of Commonsense Knowledge and Commonsense Reasoning, NSFC under number 62076009
Artificial Conversation Intelligence
Incomplete and Inconsistent Knowledge Representation and Reasoning, NSFC under number 61672049
Automated theorem proving and automated program verificaiton, NSFC key project
Theoretic Foundation and Algorithm Implementation of Semantic Web, The Advance Programs Fund of Ministry of Education of China
Some Fundamental Problems of Artificial Intelligence and Internet
Paraconsistent Default Logic and Its Application, supported by NSFC under number 60973003
Nonmonotonic Paraconsistent Logic, The Ph.D. Programs Foundation of Ministry of Education of China
Logical Foundations of Inconsistent Knowledge, supported by NSFC under number 60496322
Automated Reasoning, the National 973 Plan project
Direct e-Service
Time Sharing Resource Business
Software Agent, Semantic Web and Web Service
Internet Information Gathering Agents
Authentication and Access Control System WebDaemon and Unified Securities Management Platform
Customer Service Management CSM
Strategies and Planning for Enterprise Information and Intelligence
2004-2006, Nonmonotonic Paraconsistent Logic, NSFC (under number 60373002)
2000-2003, The National Outstanding Young Scientist Grant, NSFC
1999-2003, Automated Reasoning, the national fundamental research project (973)
2000-2002, Fault-Tolerant Reasoning and Its Application, NSFC
2000-2002, SCM Corroboration Management Software Based on Multiagents and Webservices
2000-2001,
Role-based Access Control
1997-1999,
Paraconsistent Logic, NSFC
1999-2000, E-Commerce
1998-1999, Distribution
Resource Planning DRP 1996-1998,
Reasoning with Incomplete and Inconsistent Knowledge, the national high-tech
R&D project (863)
1995-1996, Logical
Foundations of Artificial Intelligence, the province scientist project
1994-1996, Program
with Fault-Tolerant Reasoning, the national high-tech R&D project (863)
1993-1996,
Nonmonotonic Logic, NSFC
A Study of
Intelligence, the national fundamental research program (Pangdeng)
Automated
Reasoning, the key science project
Commonsense
Reasoning, the national high-tech R&D project (863)
Building a Larger Knowledge Base, Management Information System etc.