位置:成果数据库 > 会议 > 会议详情页
An ABox abduction algorithm for the description logic ALCI
  • 所属机构名称:桂林电子科技大学
  • 会议名称:IIP2012 - 7th International Conference on Intelligent Information Processing
  • 成果类型:会议
  • 相关项目:基于描述逻辑和模型检测的行动理论研究
同会议论文项目
期刊论文 41 会议论文 8 专利 1
同项目会议论文