姓名：

赖永

性别：

男

职称：

副教授

最高学位：

博士

邮箱：

laiy@jlu.edu.cn

所研究方向：

人工智能，具体包括知识表示与推理、神经符号计算、易处理机器学习、概率图模型等

讲授课程：

《数据结构》（）

《算法分析》（）

科研项目：

负责国家自然科学基金青年基金、吉林省优秀青年基金、博士后面上项目各一项，参与项目多项。

学术论文：

在JAIR、KAIS、IJCAI、AAAI、计算机学报、软件学报等国际国内著名期刊和会议发表论文多篇，代表性论文如下：

[1]Yong Lai, Kuldeep S. Meel, Roland H. C. Yap. The Power of Literal Equivalence in Model Counting. AAAI-21. (CCF推荐为A类会议，人工智能领域顶级会议)

[2]Yupeng Zhou, Jinshu Li, Yang Liu, Shuai Lv, Yong Lai*, and Jianan Wang. Improved Memetic Algorithm for Solving the Minimum Weight Vertex Independent Dominating Set. Mathematics, 2020, 8(‏7): 文献号1155. (SCI期刊)

[3]Yong Lai*, Dayou Liu, Minghao Yin: New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract). In: Proceeding of Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17), 5010-5014. (CCF推荐为A类会议，人工智能领域顶级会议，口头报告20分钟)

[4]Yong Lai*, Dayou Liu, Minghao Yin. New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition. Journal of Artificial Intelligence Research, 2017, 58: 453-521. (CCF推荐为B类期刊，人工智能领域顶级期刊)

[5]Shengsheng Wang, Changji Wen, Yong Lai*, Yiting Liu, Dayou Liu. Interactive Activity Learning from Trajectories with Qualitative Spatio-Temporal Relation. Chinese Journal of Electronics, 2015, 24(3): 508-512 (SCI: CM9KL)

[6]刘大有, 赖永*, 王生生. Tableau算法的优化及模型规约技术. 计算机学报, 2014, 37(8): 1647-1657 (计算机学科国内权威期刊，EI: 201436063113)

[7]Yong Lai, Dayou Liu*, Shengsheng Wang. Reduced ordered binary decision diagram with implied literals: a new knowledge compilation approach. Knowledge and Information Systems, 2013, 35(3): 665-712. (CCF推荐为B类期刊，SCI: 136PQ)

[8]刘大有*, 赖永, 林海. C2E: 一个高性能的EPCCL编译器. 计算机学报, 2013, 36(6): 1254-1260. (计算机学科国内权威期刊，EI: 20132716471292)

[9]赖永, 刘大有*. 一种有效的分层加权库编译方法. 软件学报, 2012, 23(10): 2550-2563. (计算机学科国内权威期刊，EI: 20124615671333)

[10]赖永, 欧阳丹彤*, 蔡敦波, 吕帅. 基于扩展规则的模型计数与智能规划方法. 计算机研究与发展, 2009, 46(3): 459-469. (计算机学科国内权威期刊，EI: 20091712051749)

社会兼职：

Program Committee: AAAI-19, AAAI-20, AAAI-21, KSEM-19, KSEM-20

Organizing Committee member:KSEM-18