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

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

描述逻辑εL循环术语集的混合推理被引量：3: 《计算机研究与发展》2009年第1期15-22,共8页蒋运承王驹周生明汤庸; 国家自然科学基金项目(60663001,60573010,60673135,60373081);中国博士后科学基金项目(20060400226);广西自然科学基金项目(桂科青0640030,桂科自0832103);广西科学研究与技术开发计划基金项目(桂科攻0719001-11)~~; 循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL...; 关键词：描述逻辑循环术语集不动点语义描述语义混合推理