高颖 田国刚 伊胜伟 曹存根 曹宝香 刘汉武 王驹 孙瑜

框架 可信主体 二阶逻辑 可满足性 人造物 语义忠实翻译 描述逻辑 命题模态逻辑

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