机译:Tableau描述逻辑的算法概述
RWTH Aachen;
RWTH Aachen;
Description Logics; Tableau Algorithms;
机译:不一致的描述逻辑。第二部分:CALC〜C的表格算法
机译:具有具体域和通用TBox的描述逻辑的Tableau算法
机译:用于模糊概念表征的模态超值描述逻辑:其语义和一种表格算法
机译:基于完成的饱和过程的表达性描述逻辑的耦合Tableau算法
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:使用激光模拟器 - 模糊逻辑算法和传感器融合的智能车辆和城市的自主道路轨道检测和导航系统
机译:2000,‘描述逻辑的Tableau算法