机译:量化模态和时间逻辑中的自动推理
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K(m)/ ALC可满足性的案例研究
机译:通过SAT编码进行模态和描述逻辑中的自动推理:K {sub} m / ALC可满足性的案例研究
机译:使用时态逻辑进行空间推理:时态化命题邻域逻辑
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:基于模糊逻辑手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死:与心肌梗塞后早期梗死面积左心室容积和功能的生化评估进行比较
机译:通过saT编码在模态和描述逻辑中进行自动推理: K(m)/ aLC-可满足性的案例研究