非规范知识的逻辑理论
    国家自然科学基金重大项目子课题，2004-2007

计算机动画自动生成技术
    北京市教委项目，2003.10-2006.12

约束/归纳逻辑程序设计中的软计算
    国家自然科学基金项目(60173014). 2002-2004

约束/归纳逻辑程序设计中的软计算
    国家自然科学基金项目(601), 2002 — 2004

数据挖掘中的软计算
    北京市自然科学基金项目(402), 2002 — 2004

约束归纳逻辑程序设计
    国家自然科学基金项目(69883001), 1999 — 2001；结题

知识发现方法及其应用
    863高技术项目(863-306-ZT06-07-2), 1998 — 2000；结题，评为B+

数据库中知识发现的研究
    北京市自然科学基金项目(4982003), 1998 — 2000；结题，专家评议：国际先进

逻辑式语言中非线性约束求解
    国家自然科学基金项目(69673022), 1997 — 1999；结题，评为良

并行算法与可扩展算法的研究
    863高技术项目(863-306-05-01-2B), 1996 — 1998；论文结题

约束逻辑程序设计语言与其系统
    国家自然科学基金项目(69473016), 1995 — 1997；结题后被信息科学部评为优等

智能语言及其实用技术
    863高技术项目(863-306-02-02B), 1994 — 1996；1998年获北京市科技进步三等奖

软件开发进程模型与规划
    国家自然科学基金项目(69273015), 1993 — 1995；结题后被信息科学部评为优等

人工智能语言及其实现技术
    863高技术项目(863-306-0206-3C), 1992 — 1994；论文结题

逻辑程序数据流分析及其应用
    国家自然科学基金项目(68973039), 1989 — 1991；结题后被信息科学部评为完成较出色的50个项目之一

智能的软件生产自动化系统
    863高技术项目, 1988 — 1990；论文结题

逻辑程序设计
    六五攻关项目；1986 — 1988；1988年获北京市科技进步三等奖