|
已选(0)清除
条数/页： 排序方式：
|
| 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 会议论文
2013年中国计算机学会人工智能会议, 2013-07-31
作者: 刘炜[1]; 徐文杰[2]; 唐英英[3]; 付剑锋[4]; 张旭洁[5]
  收藏 | 浏览/下载：7/0 | 提交时间：2019/04/30
|
| 一种基于符号变换的描述逻辑ALC超协调推理算法 期刊论文
计算机科学, 2011
张小旺; 肖国辉
收藏 | 浏览/下载：4/0 | 提交时间：2015/10/23
|
| 基于描述逻辑的图像检索框架 期刊论文
吉林大学学报(理学版), 2010, 期号: 2010年02期, 页码: 265-269
作者: 王淞昕
收藏 | 浏览/下载：1/0 | 提交时间：2019/09/18
|
| UML顺序图的形式化 学位论文
: 兰州理工大学, 2008
作者: 童格明
收藏 | 浏览/下载：3/0 | 提交时间：2020/11/05
|
| 从ALC到SHOQ(D):描述逻辑及其Tableau算法 期刊论文
计算机科学, 2005
梅婧; 林作铨
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/11
|
| 基于描述逻辑的空间推理研究 期刊论文
计算机科学, 2004, 期号: 2004年08期, 页码: 110-112
作者: 刘亚彬; 陈岗
收藏 | 浏览/下载：1/0 | 提交时间：2019/09/18
|
| 适用于空间推理的DLSR(DP)描述逻辑 期刊论文
计算机科学, 2004, 期号: 2004年07期, 页码: 188-191
作者: 刘亚彬; 陈岗
收藏 | 浏览/下载：1/0 | 提交时间：2019/09/18
|
