梅婧
【姓名】 梅婧
【职称】
【研究领域】 计算机软件及计算机应用;自动化技术;
【研究方向】
【发表文献关键词】 描述逻辑,Tableau-算法,语义Web,集合概念,可满足性,角色,结点,算法规则,推理机,数据类型,传递性,定义,知识表示,形式系统,阻塞,标注,包含关系,形式语言,存在性,计算复杂度,
【工作单位】 北京大学
【曾工作单位】 北京大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 2 1 2 168 1874
中国期刊全文数据库    共找到3篇
[1]刘升平;林作铨;梅婧;岳安步;.一种XML的模型论语义[J]软件学报.2006,(05)
[2]梅婧;林作铨;.从ALC到SHOQ(D):描述逻辑及其Tableau算法[J]计算机科学.2005,(03)
[3]梅婧;刘升平;林作铨;.语义Web的逻辑基础[J]模式识别与人工智能.2005,(05)
更多