您当前位置: 首页  >  团队队伍  >  副教授  >  正文

副教授

赖永

基本情况

姓名:

赖永


性别:

职称:

副教授

最高学位:

博士

邮箱:

laiy@jlu.edu.cn




详细情况
所研究方向: 人工智能,具体包括知识表示与推理、神经符号计算、易处理机器学习、概率图模型等
工作经历:

2017.10-至今 必威官方登录首页 副教授

2019.7-2020.8 新加坡国立大学 Research Fellow

2014.1-2017.9必威官方登录首页 讲师

讲授课程: 《数据结构》、《人工智能》
科研项目: 负责国家自然科学基金、吉林省自然科学基金、吉林省教育厅重点项目等项目5项,参与项目多项。
学术论文:

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

[1] Yong Lai, Zhenghang Xu, Minghao Yin*. PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas. Frontiers of Computer Science, 2024. (CCF推荐为B类期刊)

[2] Yong Lai, Kuldeep S. Meel, Roland H. C. Yap. Fast Converging Anytime Model Counting. In: Proceedings of Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 4025–4034. (CCF推荐为A类会议,人工智能领域顶级会议)

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

[4] 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分钟)

[5] 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类期刊,人工智能领域顶级期刊)

[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)

获奖情况:
获中国商业联合会全国商业科技进步一等奖1项,获国际模型计数竞赛亚军2次。
社会兼职: Organizing Committee: KSEM-18Program Committee: AAAI-19, AAAI-20, AAAI-21, AAAI-22, AAAI-23, AAAI-24, IJCAI-22, IJCAI-23, IJCAI-24, KSEM-19, KSEM-20, KSEM-21