...
机译:基于格值逻辑的α拟锁语义解析方法
Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Sichuan, Peoples R China;
Southwest Jiaotong Univ, Sch Math, Chengdu 610031, Sichuan, Peoples R China;
Univ Ulster, Sch Comp & Math, Coleraine BT52 1SA, Londonderry, North Ireland;
Univ Ulster, Sch Comp & Math, Coleraine BT52 1SA, Londonderry, North Ireland;
alpha -Quasi-lock semantic resolution method; resolution-based automated reasoning; general form of -resolution principle; lattice-valued logic; lattice implication algebra;
机译:基于格值命题逻辑LP(X)的α群准锁定语义解析方法
机译:基于格值命题逻辑系统LP(X)的α群语义解析方法
机译:基于格值命题逻辑LP(X)的多元α语义自动推理
机译:基于格值命题逻辑LP(X)的α-多元语义解析方法
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法
机译:自适应机制理论。第一部分。基于二进制语义树的高效最大语义分辨率证明