西南交通大学教师主页 Xingxing He--Home-- Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

Current position: Home > Research > Paper Publications

Paper Publications

Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)

Translation or Not:no

Pre One:Xingxing He*, Yang Xu, Jun Liu, Shuwei Chen: On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic. Soft Comput. 16(4): 699-709 (2012)

Next One:Xingxing He*, Yang Xu, Yingfang Li, Jun Liu, Luis Martínez-López, Da Ruan: alpha-Satisfiability and alpha-Lock Resolution for a Lattice-Valued Logic LP(X). HAIS (2) 2010: 320-327

Xingxing He

Alma Mater:Southwest Jiaotong University School/Department:数学学院 Business Address:Intelligent Control Development Center, Southwest Jiaotong University,Chengdu 610031, Sichuan, PR China

Home

Research

Teaching

Receive Honor

Awards and Honours

Enrollment

Student Information

My Album

Blog

Paper Publications

Xingxing He*, Yang Xu, Jun Liu, Da Ruan: alpha-resolution method for a lattice-valued first-order logic. Eng. Appl. Artif. Intell. 24(7): 1274-1280 (2011)