吕帅科研项目结合模态逻辑知识表示与推理的自动规划方法研究

+

基本信息

吕帅Lyu Shuai

在职信息：在职
所在单位：计算机科学与技术学院

科研项目

当前位置: 吕帅 >> 科学研究 >> 科研项目

结合模态逻辑知识表示与推理的自动规划方法研究

发布日期：2018-04-02 点击次数：

项目来源：吉林省青年科研基金项目
项目编号：20140520069JH

上一条：依赖知识编译的推理方法研究

下一条：命题与模态逻辑的扩展规则推理与混合推理方法研究