基本情况

姓名：
赖永



性别：
男

职称：
副教授

最高学位：
博士

Email：


详细情况

所研究方向：
人工智能，具体包括知识表示与推理、易处理学习、概率图模型等

讲授课程：
《数据结构》（课程链接）
《算法分析》（课程链接）

科研项目：
负责自然科学基金青年基金、博士后面上项目各一项

学术论文：
[1]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分钟)
[2]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类期刊，人工智能领域顶级期刊之一)
[3]Dayou Liu, Bo Yang*, Shang Gao*, Yungang Zhu, Yong Lai. Intelligent CPSS and its application to health care computing. SCIENCE CHINA Information Sciences, 2016, 59(5): 050103 (CCF推荐为B类期刊)
[4]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)
[5]刘大有,赖永*,王生生. Tableau算法的优化及模型规约技术.计算机学报, 2014, 37(8): 1647-1657 (计算机学科国内权威期刊，EI: 3)
[6]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)
[7]刘大有*,赖永,林海. C2E:一个高性能的EPCCL编译器.计算机学报, 2013, 36(6): 1254-1260. (计算机学科国内权威期刊，EI: 20**2)
[8]赖永,刘大有*.一种有效的分层加权库编译方法.软件学报, 2012, 23(10): 2550-2563. (计算机学科国内权威期刊，EI: 333)
[9]赖永,欧阳丹彤*,蔡敦波,吕帅.基于扩展规则的模型计数与智能规划方法.计算机研究与发展, 2009, 46(3): 459-469. (计算机学科国内权威期刊，EI: 749)

社会兼职：
AAAI-19 Program Committee member
KSEM-18 Organizing Committee member