云南高校图书馆联盟文献共享服务平台- 时态认知逻辑

时态认知逻辑: 作品数：11被引量：25H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：骆翔宇苏开乐吴立军周从华孙博更多>>; 相关机构：中山大学桂林电子科技大学华侨大学清华大学更多>>; 相关期刊：《计算机学报》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>; 相关基金：国家自然科学基金中国博士后科学基金广西青年科学基金国家重点基础研究发展计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种求解认知难题的模型检测方法被引量：5: 《计算机学报》2010年第3期406-414,共9页骆翔宇苏开乐顾明; 国家自然科学基金重点项目(90718039);国家"九七三"重点基础研究发展规划项目基金(2010CB328103);国家杰出青年科学基金(60725207);国家自然科学基金(60763004);广西青年科学基金(桂科青0728090);中国博士后科学基金(20090450389)资助; 用公告逻辑建模并求解和与积认知难题.提出一种动态认知模型,将环境认知模型与公告导致的认知模型线性组合,从而在时态认知逻辑模型检测技术中扩展支持公告逻辑的建模与验证.该模型检测方法不仅可以用于搜索认知难题的所有解,而且可以...; 关键词：模型检测 OBDD 公告逻辑时态认知逻辑和与积难题