科研项目

在研项目   |   历史项目  

主持以下在研项目:

  1. 常识知识和常识推理的基本问题，国家自然科学基金（编号：62076009）

  2. 人工对话智能

  3. 不完全与不协调知识表示及推理，国家自然科学基金（编号：61672049）

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

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

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

  7. 协调缺省逻辑及其应用，国家自然科学基金资助（编号：60973003）

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

  9. 不协调知识的逻辑理论，国家自然科学基金重大项目课题资助（编号：60496322）

  10. 自动推理，国家973计划课题资助

  11. 直接电子服务

  12. 分时资源商务

  13. 软件主体，语义网络和网络服务

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

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

  16. 用户服务管理 CSM 系统

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

负责完成以下历史项目: