Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology,Guilin 541004, China;
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology,Guilin 541004, China;
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology,Guilin 541004, China;
Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology,Guilin 541004, China;
abductive reasoning; ABox abduction problem; tableau; consistency of knowledge base;
机译:走向大型描述逻辑本体中的实际abox绑架
机译:描述逻辑A.CC中的ABox绑架
机译:走向半表达描述逻辑的ABox模块化
机译:ABOX展示逻辑ALCI的展示算法
机译:用于描述逻辑中术语推理的高性能吸收算法
机译:使用激光模拟器 - 模糊逻辑算法和传感器融合的智能车辆和城市的自主道路轨道检测和导航系统
机译:描述逻辑ALCI的ABox绑架算法