检索结果 - Gdtheory理论粤军网|广东智库信息化平台

期刊论文学位论文会议论文专著研究报告课题成果报纸

可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N

检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)

检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思
范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学

刊名：

主办单位：

出版地：

ISSN：

主编：

邮发代号：

中图分类号：选择

全部期刊核心期刊

中文英文

出版年份：从

到

年

期刊论文学位论文会议论文专著研究报告课题成果报纸

时间：

至

排序：

期刊文章 带n-元存在量词的描述逻辑MSC推理: 出处：计算机学报 2009年第8期 1500-1510,共11页; 摘要：分析了描述逻辑非标准推理的重要性，特别分析了描述逻辑MSC（Most Specific Concept）推理的研究现状和存... 显示全部; 关键词： 描述逻辑元存在量词描述树描述图非标准推理; 在线阅读下载全文

期刊文章 带传递关系和存在量词的描述逻辑MSC推理: 出处：计算机研究与发展 2009年第6期 979-987,共9页; 摘要：分析了描述逻辑非标准推理的重要性，特别分析了描述逻辑MSC推理的研究现状和存在的问题．针对目前描述逻辑... 显示全部; 关键词： 描述逻辑传递关系存在量词描述树描述图; 在线阅读下载全文

期刊文章 描述逻辑系统vL循环术语集的可满足性及推理机制: 出处：中国科学：信息科学 2009年第2期205-211,共7页; 摘要： 文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方... 显示全部; 关键词： 描述逻辑循环术语集描述图模型; 在线阅读下载全文

期刊文章 gfp-模型的描述逻辑FLε的循环术语集推理: 出处：计算机工程与应用 2010年第12期 32-37,共6页; 摘要：描述逻辑（DL）一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在... 显示全部; 关键词： 描述逻辑循环术语集最大不动点语义描述图图模拟; 在线阅读下载全文

找到4条结果

跳到第页

联系方式

电话：020-38800179

邮箱：gdtheory@126.com

地址：广州市天河区天河北路618号广东社会科学中心

邮编：510635

友情链接

扫一扫手机浏览