王雨晖(1989-),男,陕西西安人,博士,主要研究领域为人工智能-信念修正,R-演算,大规模知识处理;眭跃飞(1963-),男,博士,教授,博士生导师,主要研究领域为人工智能-知识表示,R-演算,多值逻辑,数理逻辑-递归论.
王雨晖,E-mail:yhwang_ict@qq.com
TP18
国家重点基础研究发展计划(973)(2005CB321901);软件开发环境国家重点实验室开放课题(SKLSDE-2010KF-06)
National Program on Key Basic Research Project (973)(2005CB321901); Open Fund of the State Key Laboratory of Software Development Environment (SKLSDE-2010KF-06)
王雨晖,眭跃飞.描述逻辑ALC中关于伪子概念极小改变的R-演算.软件学报,2019,30(12):3683-3693
复制