...
机译:基于格值一阶逻辑OF(X)的规则一致性
SW Jiaotong Univ, Dept Math, Chengdu 610031, Peoples R China;
Univ Ulster, Sch Comp & Math, Jordanstown, North Ireland;
Belgian Nucl Res Ctr, SCK, CEN, B-2400 Mol, Belgium;
GTaipei Univ Technol, Dept Elect Engn, Taipei, Taiwan;
PETRI NETS; KNOWLEDGE; SYSTEMS; CIRCUMSCRIPTION; REPRESENTATION;
机译:基于格值一阶逻辑LF(X)的多进制alpha语义分辨率自动推理
机译:基于有限格蕴涵代数的一阶格值逻辑LF(X)的超积
机译:基于一阶晶格值逻辑LF(X)的alpha解析原理
机译:基于格值的一阶逻辑OF(X)的规则一致性
机译:基于知识库的机器(人工智能,一阶查询,PROLOG,“剪切”运算符,第五代计算机)的高层次关系处理器上的递归和规则选择
机译:提取的基于规则的多元二型自组织模糊逻辑控制器在麻醉中的性能分析
机译:基于晶格暗示代数的晶格价一阶逻辑的α分辨率的确定
机译:基于规则的专家系统的一致性