机译:面向矛盾问题的描述逻辑ALC_(D-ES)的研究
School of Computer Science and Technology/ Civil Aviation University of China, Tianjin, China;
Travelsky Technology Limited, Beijing, China;
Travelsky Technology Limited, Beijing, China;
extension set; description logic; contradiction problem; extenics;
机译:面向矛盾问题的描述逻辑ALC D-ES sup>的研究
机译:面向矛盾问题的描述逻辑ALC D-ES sup>的研究
机译:面向矛盾问题的描述逻辑ALC D-ES sup>的研究
机译:将模糊描述逻辑ALC_(FL)转换为古典描述逻辑ALCH
机译:描述和分析地理需求的面向问题的方法。
机译:以初级保健系统开发为导向的系统方法:以问题为导向的初级保健系统开发记录的开发和初步测试
机译:在描述逻辑,逻辑程序和描述逻辑程序中管理不确定性和模糊性
机译:aDam的逻辑设计,面向问题的符号处理器,附录II。逻辑图纸,最终报告。