卢延鑫 李祥 师雪霖 周明天 古天龙 张继福 谢鸿波 王雪松 赵岭忠 张素兰 牛振东 钱俊彦 郭庆琳 蔡国永 李腊元 张勐 樊孝忠 陈福安 宋瀚涛 胡立华 朱逸芬 邵志清

函数程序设计语言 NP完全问题 谓词公式 指称语义学 ASP知识库 递归程序 回答集程序设计 三值逻辑 作用式语言 面向对象程序设计 函数变元 恒星光谱数据 PROLOG。 操作语义学 时态逻辑 背景知识 语义 IIR 自动应答系统 公开密钥基础设施 LSF模型 推理机构 形式化模型 人工智能 规划领域定义语言 计算序列 经典逻辑 装配序列规划 约束概念格 数字图书馆