...
机译:描述逻辑中有限模型推理的复杂性
TU Dresden, Inst Theoret Comp Sci, Dresden, Germany;
description logic; finite satisfiability; number restrictions;
机译:具有限定数量限制的扩展模糊描述逻辑的推理复杂性
机译:在表达描述逻辑中具有基数限制和名词的推理的复杂性
机译:在表达描述逻辑中具有基数限制和名词的推理的复杂性
机译:描述逻辑中有限模型推理的复杂性
机译:简单描述逻辑知识库中的保密保护推理
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:描述逻辑中有限模型推理的复杂性
机译:描述使用语法更新的逻辑推理