Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen. Non-clausal Multi-ary alpha-Generalized Resolution Principle for a Lattice-Valued First-Order Logic. In 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015, Taipei, Taiwan, November 24-27, 2015. pages 1-7, IEEE, 2015. [doi]

This author has not been identified. Look up 'Yang Xu' in GoogleThis author has not been identified. Look up 'Jun Liu' in GoogleThis author has not been identified. Look up 'Xingxing He' in GoogleThis author has not been identified. Look up 'Xiaomei Zhong' in GoogleThis author has not been identified. Look up 'Shuwei Chen' in Google

runs on WebDSL