首页> 外文OA文献 >α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems

【2h】

α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems

机译：晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Weitao Xu; Wenqiang Zhang; Dexian Zhang; Yang Xu; Xiaodong Pan;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. alpha-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [J] . Xu Weitao, Zhang Wenqiang, Zhang Dexian, International journal of computational intelligence systems . 2015,第SUPPLa1期

机译：格值命题逻辑系统中格值角号广义子句的alpha解析方法
2. α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems [J] . WeitaoXu, WenqiangZhang, DexianZhang, International journal of computational intelligence systems . 2015,第SUPPLa1期

机译：格值命题逻辑系统中格值角号广义子句的α解析方法
3. α-group Semantic Resolution Method Based on Lattice-valued Propositional Logic System LP(X) [J] . Xiaomei Zhong, Yang Xu The Journal of fuzzy mathematics . 2012,第4期

机译：基于格值命题逻辑系统LP（X）的α群语义解析方法
4. α-RESOLUTION METHOD FOR LATTICE-VALUED HORN GENERALIZED CLAUSES IN LATTICE-VALUED PROPOSITIONAL LOGIC SYSTEM [C] . Weitao Xu, Wenqiang Zhang, Dexian Zhang, Decision making and soft computing . 2014

机译：格值命题逻辑系统中格值角广义子句的α-分解方法
5. RESOLUTION, GENTZEN SYSTEMS AND LITERAL TREES FOR PROPOSITIONAL LOGIC. [D] . DOUGHERTY, DANIEL JOSEPH, JR. 1982

机译：决议逻辑，GENTZEN系统和文字树。
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. Non-Clausal Multi-ary a-Generalized Resolution Calculus for a Finite Lattice-Valued Logic [O] . Yang Xu, Jun Liu, Xingxing He, 2018

机译：用于有限晶格型逻辑的非字词多ARY A-Aligentizate积分

α-Resolution Method for Lattice-valued Horn Generalized Clauses in Lattice-valued Propositional Logic Systems

著录项

引文网络

相似文献

相关主题

期刊订阅