科研项目


在研项目   |   历史项目  

主持以下在研项目:

  1. 不完全与不协调常识表示及推理,国家自然科学基金(编号:61672049)

  2. 自动定理证明和自动程序验证,国家自然科学基金重点项目

  3. 语义 Web 的理论基础和算法实现,教育部博士点基金优先发展项目

  4. 人工智能和互联网的若干基础问题

  5. 协调缺省逻辑及其应用,国家自然科学基金资助(编号:60973003)

  6. 非单调超协调逻辑,教育部博士点基金资助

  7. 不协调常识的逻辑理论,国家自然科学基金重大项目课题资助(编号:60496322)

  8. 自动推理,国家973计划课题资助

  9. 直接电子服务

  10. 分时资源商务

  11. App主体,语义网络和网络服务

  12. Internet 上自动信息收集 agent 系统

  13. 身份认证和访问控制系统 WebDaemon 和统一安全管理平台

  14. 用户服务管理 CSM 系统

  15. 企业信息化和企业智能化

负责完成以下历史项目:

XML 地图 | Sitemap 地图