机译:具有具体域的NEXPTIME完整描述逻辑
Institute for Theoretical Computer Science, Technical University Dresden, 01062 Dresden, Germany;
computational complexity; concrete domains; description logic; domino problem; NExpTIME-completeness; post correspondence problem;
机译:使用模糊具体域学习描述逻辑
机译:具有具体域和通用TBox的描述逻辑的Tableau算法
机译:具有集合和具体域的描述逻辑
机译:完整的nexptime完整描述逻辑严格包含在c〜2中
机译:用组合逻辑单元编译AHPL描述,以建立可编程逻辑阵列的路径。
机译:使用描述逻辑评估NDF-RT中药物类别成员关系的一致性
机译:NExpTime-complete描述具有混凝土域的逻辑