在职信息：在职 所在单位：计算机科学与技术学院
项目来源：国家自然科学基金青年科学基金项目 项目编号：61300049
上一条：结合模态逻辑知识表示与推理的自动规划方法研究
下一条：命题逻辑和模态逻辑的扩展规则推理方法研究
