云南高校图书馆联盟文献共享服务平台- 不动点语义

不动点语义: 作品数：11被引量：23H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：汤庸蒋运承王驹周生明古天龙更多>>; 相关机构：广西师范大学中山大学桂林电子科技大学陕西师范大学更多>>; 相关期刊：《模式识别与人工智能》《计算机学报》《广东工业大学学报》《计算机研究与发展》更多>>; 相关基金：国家自然科学基金广东省自然科学基金中国博士后科学基金广西壮族自治区自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

描述逻辑FL-循环术语集的语义及推理被引量：9: 《计算机学报》2008年第2期185-195,共11页蒋运承王驹邓培民汤庸; 国家自然科学基金(60663001,60673135,60373081,60573010);广东省自然科学重点基金(04105503);广西青年科学基金(桂科青0640030)资助; 循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.文中分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader的基础上进一步研究了描述逻辑FL^-循环术语集的语义及推理问题.给出了FL^...; 关键词：描述逻辑循环术语集不动点语义描述语义有限自动机