Projects


Present  |   Past 

Responsibilities for the following projects at present:

  1. Basic Problems of Commonsense Knowledge and Commonsense Reasoning, NSFC under number 62076009

  2. Artificial Conversation Intelligence

  3. Incomplete and Inconsistent Knowledge Representation and Reasoning, NSFC under number 61672049

  4. Automated theorem proving and automated program verificaiton, NSFC key project

  5. Theoretic Foundation and Algorithm Implementation of Semantic Web, The Advance Programs Fund of Ministry of Education of China

  6. Some Fundamental Problems of Artificial Intelligence and Internet

  7. Paraconsistent Default Logic and Its Application, supported by NSFC under number 60973003

  8. Nonmonotonic Paraconsistent Logic, The Ph.D. Programs Foundation of Ministry of Education of China

  9. Logical Foundations of Inconsistent Knowledge, supported by NSFC under number 60496322

  10. Automated Reasoning, the National 973 Plan project

  11. Direct e-Service

  12. Time Sharing Resource Business

  13. Software Agent, Semantic Web and Web Service

  14. Internet Information Gathering Agents

  15. Authentication and Access Control System WebDaemon and Unified Securities Management Platform

  16. Customer Service Management CSM

  17. Strategies and Planning for Enterprise Information and Intelligence

Responsibilities for the following projects in past: