机译:描述逻辑程序的循环公式
Department of Computer Science, Guizhou University, Guiyang, China Department of Computing Science, University of Alberta, Canada;
rnDepartment of Computing Science,University of Alberta, Canada;
rnDepartment of Computing Science,University of Alberta, Canada;
rnState Key Laboratory of Computer Science Institute of Software, Chinese Academy of Sciences, China;
semantic web; description logic programs; answer sets; loop formulas;
机译:基于循环公式的描述逻辑程序语义
机译:权重约束和聚合逻辑程序的级别映射引发的循环公式
机译:权重约束和聚合逻辑程序的级别映射引发的循环公式
机译:管理描述逻辑,逻辑程序和描述逻辑程序中的不确定性和模糊性
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:基于循环公式的描述逻辑程序语义