Name:Xuefang Wang

Current position:

Contact Information: Lecturer

School of Mathematical Sciences,

OceanUniversity of China,

238 Songling Road,

Qingdao, China, 266100

Email: ouc[at]wxf[dot]163[dot]com

Education:
Ph.D. in Traffic Information Engineering and Control，July 2004
School of Computer and Communication Engineering, Southwest Jiaotong University, P. R. China,
M. Sc. In Applied Mathematics, July 2001
Department of Applied Mathematics, Southwest Jiaotong University, P. R. China,
B. Sc. in Mathematics Education，July 1998
Department of Mathematics and ComputerScience, Qufu Normal University, P. R. China

Professional Experience:

2004—present: in School of Mathematics Scienceat Ocean University of China
Current position:Lecturer
Teaching Courses: Calculus, Linear Algebra, Probability theory and mathematicalstatistics, Introduction to Artificial Intelligence

Research Interests:

Algebra logic Structures in lattice valued logic

Uncertain reasoning based on lattice valued logics

Model theory of lattice valued logic

Grants:

1.National Natural Science Foundation of China (No 60875034), Research on-generated resolution Automatic reasoning based on lattice-valued logic, 2009.01—2011.12, Participate.

2.Natural Science Foundation of Shandong(No ZR2011AQ010), Research on completeness of Fuzzy uniform space and George-Veeramani Metrization, 2011.07-2014.7, Participate.

Selected Publications:

1.Xuefang Wang,Peishun Liu,A Method for constructing lattice implication algebras on the interval [0,1] , The 5th International Conference on Fuzzy Systems and   Knowledge Discovery，2008, pp.116-121.

2.Peishun Liu,Xuefang Wang,Identification of Malicious Web Pages by Inductive Learning, Web Information systems and mining,2009.

3.Xuefang Wang, Peishun Liu, Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra, International Journal of Computer Science and Network Security, 6(5A)(2006), pp. 195—200.

4.Xuefang Wang，Prime dual ideals oflattice implication algebra, Fuzzy Systems and Mathematics,Vol.20(5), 2006, pp.37—42.

5.Xuefang Wang, Fengbin Zheng, Xu Yang, Closure operators of lattice-valued propositional logic LP(X), Chinese Quarterly Journal of Mathematics, 20(3), 2005, pp. 78—85.

6.Xuefang Wang, Fengbin Zheng, Xu Yang, Syntactic extensions of lattice-valued propositional logic LP(X), Chinese Quarterly Journal of Mathematics, 20(3), 2005, pp. 78—85.

7.Xuefang Wang, Peishun Liu, Model theory and closure operators of lattice-valued propositional logic LP(X), 2003 IEEE International Conference on Systems, Man & Cybernetics, 2003, pp. 5010—5015.

8.Xuefang Wang, Graded consequence relations in lattice-valued propositional logic LP(X), 2003 IEEE International Conference on Systems, Man & Cybernetics , 2003, pp.5004-5009.

9.Xuefang Wang, Ming Qing, Yang Xu, Keyun Qin, Closure operators in lattice-valued propositional logics, Proceedings of the Second International Conference on Machine Learning and Cybernetics, 2003, pp.1762-1767.