University of Trier Department of Business Information Systems II 54294 Trier, Germany;
机译:统一演绎和非演绎异构数据库的知识模型
机译:基于统一代数方法的演绎推理和无法推理
机译:基于相似度和演绎推理的知识管理集成
机译:寻找相似的演绎结果-基于案例和常识的基于搜索的统一推理新框架
机译:可能性:一个在物理上模拟学生演绎推理的框架。
机译:演绎推理脑网络:一种基于坐标的演绎推理中神经签名的荟萃分析
机译:通过可满足模数理论统一基于搜索和基于编译的基于汇编的方法