高颖 田国刚 伊胜伟 曹存根 曹宝香 刘汉武 王驹 孙瑜 曾庆田 司晋新 黄智生 许可 马世龙 马越 马丽 郝国舜 张再跃 申宇铭 潘瑜 张晓如 雷玉霞

框架 可信主体 二阶逻辑 可满足性 人造物 语义忠实翻译 描述逻辑 命题模态逻辑 机器学习 动态逻辑 语义满翻译 权限 认知过程 Tableau算法 翻译 一阶逻辑 访问控制 角色 弱真值表归约 理论 本体 归纳逻辑程序 知识分析 图灵度 言语行为 极小对 模态逻辑 数学知识 形式系统 转换

中国科学院软件研究所 扬州大学工业学院计算机系 中国科学院计算技术研究所智能信息处理重点... 中国科学院计算技术研究所 北京航空航天大学软件开发环境国家重点实验... 中科院计算所智能信息处理重点实验室 江苏镇江 江苏科技大学计算机科学与技术系智能计算联...