...
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K(m)/ ALC可满足性的案例研究
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K {sub} m / ALC可满足性的案例研究
机译:通过基于描述逻辑的自动推理,以最终用户为中心的Web组件自动适应
机译:量化模态和时间逻辑中的自动推理
机译:将模态和描述逻辑的可满足性编码为SAT:K(m)/ ALC的案例研究
机译:简单描述逻辑知识库中的保密保护推理
机译:再次探讨了医学本体论中的整体推理-将SEP三元组引入基于分类的描述逻辑中。
机译:通过saT编码在模态和描述逻辑中进行自动推理: K(m)/ aLC-可满足性的案例研究
机译:默认推理的模态逻辑