位置：立项数据库 > 立项详情页
命题与模态逻辑的扩展规则推理与混合推理方法研究
  • 项目名称：命题与模态逻辑的扩展规则推理与混合推理方法研究
  • 项目类别：青年科学基金项目
  • 批准号：61300049
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：吕帅
  • 依托单位：吉林大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 13
  • 0
  • 0
  • 0
  • 0
期刊论文
模糊语义下知识系统的结构及信息传播的研究
路标计数启发式引导的分解规划方法
基于移动平台的异构并行字符串匹配算法
基于π演算的云服务安全检测
模糊命题模态逻辑的Tableau方法
基于细胞膜演算的Dryad形式化描述
基于超扩展规则的动态在线推理算法
中文网络文本的语义信息处理研究综述
基于超扩展规则的知识编译方法
peC语言的部分求值器及在编译器测试中的应用
Tabular表达式的指称语义研究
EPCCL理论的求交知识编译算法
Security Analysis Model, System Architecture and Relational Model of Enterprise Cloud Services
吕帅的项目