郝国舜 张子云 王茂光 张海俊 杨鲲 史忠植 彭晖 董明楷 邱莉榕 万长林 汤庸 王竹晓 王文杰 林芬 罗杰文 马世龙 唐素勤 蒋运承 王驹 常亮 马炳先 徐颖蕾 陈立民 眭跃飞 牛温佳

动作 可信软件 动态逻辑 多主体平台 服务发现和组合 语义Web 模态逻辑 可满足性问题 多主体系统 表判定算法 Web服务推理 自动服务组合 动作推理 离散事件系统 模糊动态描述逻辑 动作理论 可判定性 Petri网 主体 协作 模糊描述逻辑 Tableau算法 分布式动态描述逻辑 语义Web服务 动作的执行过程 故障诊断 描述逻辑 OWL-S 服务匹配 决策支持