李永明

非經典計算理論、計算智能、模糊系統分析、量子邏輯與量子計算、格上拓撲學。

代表論著：

李永明, 模糊系統分析, 科學出版社, 北京, 2005.

李永明，模糊圖靈機的逼近性與通用性, 中國科學 E輯：信息科學, 38（8）（2008），1189-1203. ( Li Y.M., Approximation and universality of fuzzy Turing machines, Science in China Series F：Information Sciences, 51(10)(2008),1445-1465.)

李永明，基於量子邏輯的有窮自動機與單體二階量子邏輯，中國科學 F輯：信息科學,39（11）（2009），1135-1145. (Finite automata based on quantum logic and monadic second-order quantum logic, Science China Information Sciences，53(1)(2010), 101-114.）

Li Y.M., Li S.J., A fuzzy sets theoretic approach to approximate spatial reasoning, IEEE Transactions on Fuzzy Systems，12(2004), 745- 754.

Li Y.M., Fuzzy Turing machines: variants and universality, IEEE Transactions on Fuzzy Systems，16（2008），1491-1502.

Li Y.M., Pedrycz W., Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems, 156(2005), 68-92.

Li Y.M., Finite automata theory with membership values in lattices, Information Sciences, 181（2011）, 1003-1017.

Li Y.M.，Li Dechao, Witold Pedrycz, Wu Jingjie, An approach to measure the robustness of fuzzy reasoning, International Journal of Intelligent Systems, 20(2005), 393-413.