机构

• 软件研究所 [20]
• 沈阳自动化研究所 [2]
• 中国科学院大学 [1]

采集方式

• OAI收割 [22]
• iSwitch采集 [1]

内容类型

• 期刊论文 [15]
• 会议论文 [8]

发表日期

• 2014 [1]
• 2012 [3]
• 2011 [6]
• 2010 [2]
• 2009 [1]
• 2007 [4]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共23条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Task description logic based on temporal constrain net 会议论文  OAI收割 Wuhan, China, June 28-29, 2014 作者:  Yu C(余岑)   |  收藏  |  浏览/下载：11/0  |  提交时间：2014/08/09 Formal Languages  Robots   towards practical abox abduction in large description logic ontologies 期刊论文  OAI收割 International Journal on Semantic Web and Information Systems, 2012, 卷号: 8, 期号: 2, 页码: 1-33 Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 Formal languages  Logic programming  Ontology   a new matchmaking approach based on abductive conjunctive query answering 会议论文  OAI收割 Joint International Semantic Technology Conference, JIST 2011, Hangzhou, China, December 4, 2011 - December 7, 2011 Du Jianfeng; Wang Shuai; Qi Guilin; Pan Jeff Z.; Hu Yong   |  收藏  |  浏览/下载：27/0  |  提交时间：2013/09/22 Data description  Formal languages  Logic programming  Query processing  Semantic Web   Hierarchy organization model based on the logic of tasks 会议论文  OAI收割 Shijiazhuang, Hebei, China, October 26-28, 2012 作者:  Yu C(余岑)   |  收藏  |  浏览/下载：13/0  |  提交时间：2013/04/21 Data Description  Formal Languages  Geotechnical Engineering  Multipurpose Robots  Robot Learning   extending fuzzy soft sets with fuzzy description logics 期刊论文  OAI收割 Knowledge-Based Systems, 2011, 卷号: 24, 期号: 7, 页码: 1096-1107 Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation   characterizations of one-way general quantum finite automata 期刊论文  OAI收割 Theoretical Computer Science, 2011, 卷号: 419, 页码: - Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 Formal languages  Quantum finite automata  Regular languages  Equivalence   reasoning and change management in modular fuzzy ontologies 期刊论文  OAI收割 Expert Systems with Applications, 2011, 卷号: 38, 期号: 11, 页码: 13975-13986 Jiang Yuncheng; Tang Yong; Chen Qimai; Wang Ju   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/10/10 Data description  Formal languages  Modular construction   semantic operations of multiple soft sets under conflict 期刊论文  OAI收割 Computers and Mathematics with Applications, 2011, 卷号: 62, 期号: 4, 页码: 1923-1939 Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 Data description  Formal languages  Knowledge representation  Ontology  Set theory   decidable temporal dynamic description logic 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2011, 卷号: 22, 期号: 7, 页码: 1524-1537 Chang Liang; Shi Zhong-Zhi; Gu Tian-Long; Wang Xiao-Feng   |  收藏  |  浏览/下载：29/0  |  提交时间：2013/10/08 Algorithms  Computability and decidability  Data description  Formal languages  Knowledge representation  Semantic Web  Semantics  User interfaces   extending logic programs with description logic expressions for the semantic web 会议论文  OAI收割 10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23 Shen Yi-Dong; Wang Kewen   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/10/08 Atoms  Data description  Formal languages  Logic programming  Ontology  Semantic Web  Semantics  User interfaces