罗凯伦，男，博士，讲师，硕士生导师，现任东莞理工学院计算机学院专任教师
▽主要研究方向
知识表示与推理
形式化方法
可解释人工智能
▽教育经历
2013-09 至 2020-06, 中山大学, 计算机科学与技术, 博士
2009-09 至 2013-06, 华南师范大学, 计算机科学与技术, 学士
▽主持的项目清单
国家自然科学基金委员会, 青年科学基金项目, 62206055, 面向智能规划的可解释抽象的自动综合, 2023-01-01 至 2025-12-31, 30万元, 在研, 主持
▽代表性论著
(1) Kailun Luo ; Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking, Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23，CCF A会议), Washington, USA, 2023-2-7至2023-2-14
(2) Kailun Luo; Yongmei Liu ; Automated Synthesis of Generalized Invariant Strategies via Counterexample-guided Strategy Refinement, Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-22, CCF A会议), Virtual Event, 2022-2-22至2022-3-1
(3) Kailun Luo; Yongmei Liu ; Automatic Verification of FSA Strategies via Counterexample- Guided Local Search for Invariants, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19, CCF A会议), Macao, China, 2019-8-10至2019-8-16
(4) Kailun Luo; Yongmei Liu; Yves Lespérance; Ziliang Lin ; Agent Abstraction via Forgetting in the Situation Calculus, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-20, CCF B会议), Santiago de Compostela, Spain, 2020-8-29至2020-9-8
(5) Zhenhe Cui; Yongmei Liu; Kailun Luo ; A Uniform Abstraction Framework for Generalized Planning, Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI-21, CCF A会议), Virtual Event / Montreal, Canada, 2021-8-19至2021-8-27
▽社会服务
ECAI-2023 PC member
IJCAI-2023 PC member
IJCAI-2022 PC member
IJCAI-2021 PC member
