alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Weitao Xu, Wenqiang Zhang, Dexian Zhang, Yang Xu. alpha-Resolution Method for Lattice-Valued Horn Generalized Clauses in Lattice-Valued First-Order Logic System. In 10th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2015, Taipei, Taiwan, November 24-27, 2015. pages 89-93, IEEE, 2015. [doi]

This author has not been identified. Look up 'Weitao Xu' in GoogleThis author has not been identified. Look up 'Wenqiang Zhang' in GoogleThis author has not been identified. Look up 'Dexian Zhang' in GoogleThis author has not been identified. Look up 'Yang Xu' in Google

runs on WebDSL