University of Toronto Department of Computer Science Toronto, ON, M5S 3H5, CANADA;
机译:具有限定数量限制的实用推理:用于描述逻辑SHQ的混合Abox演算
机译:一阶逻辑的解析演算的形式化
机译:一阶逻辑的解析演算的形式化
机译:关于描述逻辑的一阶扩展的混合推理的有序理论分辨率计算
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:一阶逻辑理论用于治疗合并症患者的临床实践指南:一个案例研究
机译:对描述逻辑SHIQ使用代数推理的混合ABox演算
机译:一阶谓词逻辑模型理论及相关时态逻辑