Coll. of Inf. Sci. Eng., Henan Univ. of Technol., Zhengzhou, China;
a- resolution; automated reasoning; lattice implication algebra; lattice-valued Horn generalized clause; lattice-valued logic;
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:基于一阶晶格值逻辑LF(X)的alpha解析原理
机译:晶格价喇叭的晶格重喇叭逻辑系统中的α分辨率方法
机译:归纳逻辑编程方法中基于随机选择的底句的广度优先搜索方法的实现。
机译:在系统评价综合中使用逻辑模型方法:描述推荐管理干预中的复杂途径
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法