位置:成果数据库 > 期刊 > 期刊详情页
Finding Data Tractable Description Logics for Computing a Minimum Cost Diagnosis Based on ABox Decompositio
  • 时间:0
  • 分类:O571.3[理学—粒子物理与原子核物理;理学—物理] TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]Guangdong University of Foreign Studies, Guangzhou 510006, China, [2]State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190, China, [3]School of Computer Science and Engineering, Southeast University, Nanjing 211189, China, [4]Department of Computing Science, the University of Aberdeen, Aberdeen AB24 3UE, UK
  • 相关基金:Supported by the National Natural Science Foundation of China (Nos. 61005043 and 60970045)
中文摘要:

To whom correspondence should be addressed. E-mail: jfdu@mail.gdufs.edu.cn; Tel: 86-20-39328876

同期刊论文项目
期刊论文 4 会议论文 13 获奖 1 专利 1
同项目期刊论文