School of Computing and Mathematics, University of Ulster at Jordanstown Newtownabbey, BT37 OQB, Northern Ireland, UK;
School of Computing and Mathematics, University of Ulster at Jordanstown Newtownabbey, BT37 OQB, Northern Ireland, UK;
School of Computing and Mathematics, University of Ulster at Jordanstown Newtownabbey, BT37 OQB, Northern Ireland, UK;
School of Computing and Mathematics, University of Ulster at Jordanstown Newtownabbey, BT37 OQB, Northern Ireland, UK;
parameterized reasoning; uncertainty; lattice-valued logic; rule-based systems;
机译:基于格值命题逻辑LP(X)的多元α语义自动推理
机译:基于格值一阶逻辑LF(X)的多进制alpha语义分辨率自动推理
机译:基于格值命题逻辑LP(X)的α自动推理方法
机译:基于格子值逻辑的参数化不确定推理方法
机译:基于模糊逻辑方法的不确定非线性系统的稳定性和鲁棒性研究。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:不确定的逻辑处理:使用Dempster-Shafer型号的基于逻辑的推断和推理