中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共12条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
无权访问的条目 期刊论文
作者:  岳小莉;  曹存根
Adobe PDF(457Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30
无权访问的条目 期刊论文
作者:  曾庆田;  眭跃飞;  曹存根
Adobe PDF(241Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/03/30
基于描述逻辑的主体服务匹配 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 005, 页码: 625
作者:  史忠植;  蒋运承;  张海俊;  董明楷
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
服务匹配  描述逻辑  推理机制  服务分层  多主体系统  
音乐领域本体的建立和分析 期刊论文
计算机科学, 2004, 卷号: 31.0, 期号: 1.0, 页码: 103
作者:  高颖;  曹存根;  眭跃飞
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
一致性  音乐知识系统  知识工程  领域本体  公理  
多Agent VSK-AF逻辑 期刊论文
计算机工程, 2004, 卷号: 30.0, 期号: 023, 页码: 1
作者:  孙瑜;  夏幼明;  李志平
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
多Agent系统  形式化模型  交互  完全性  推理  一致性  证明  信息特征  逻辑  体系  
基于增量可满足性的等价性检验方法 期刊论文
计算机学报, 2004, 卷号: 27.0, 期号: 010, 页码: 1388
作者:  李光辉;  李晓维
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
增量可满足性  等价性检验  组合电路  形式验证  数字集成电路  等价结点  
基于本体的查询系统研究 期刊论文
计算机工程与应用, 2004, 卷号: 40.0, 期号: 034, 页码: 186
作者:  孙瑜;  李志平
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
本体  智能查询系统  语义  数据库  
基于访问、感知和知道的多Agent系统形式化模型 期刊论文
计算机工程, 2004, 卷号: 30.0, 期号: 007, 页码: 1
-
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
多Agent系统  访问  感知  知道  
基于动态描述逻辑的主体模型 期刊论文
计算机研究与发展, 2004, 卷号: 41.0, 期号: 005, 页码: 780
作者:  董明楷;  张海俊;  史忠植
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
智能主体  主体模型  动态描述逻辑  
多主体团队交互协议 期刊论文
软件学报, 2004, 卷号: 15.0, 期号: 005, 页码: 689
作者:  史忠植;  盛秋戬;  赵志崑;  刘少辉
收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04
联合意图  主体通信语言  联合请求  委托请求  团队交互协议