yl7773永利

yl7773永利:罗凯伦

2023年07月03日 08:03

罗凯伦,男,博士,讲师,硕士生导师,现任东莞理工学院计算机学院专任教师

▽主要研究方向

知识表示与推理

形式化方法

可解释人工智能

▽教育经历

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 Lespe?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


yl7773永利(中国)科技有限公司