基本信息
浏览量:211
职业迁徙
个人简介
研究方向: 人工智能、智能规划与自动推理
科研项目: 【科研项目】
累计承担国家自然科学基金项目1项,教育部高等学校博士学科点专项科研基金项目1项,中国博士后科学基金项目1项,吉林省科技发展计划资助项目1项,中央高校基本科研业务费专项资金项目3项;参加政府间科技合作项目1项,国家自然科学基金项目10项,教育部新世纪优秀人才支持计划项目1项,教育部高等学校博士学科点专项科研基金项目4项,吉林省科技发展计划资助项目3项,其它项目18项。
近年主持的科研项目:
[1] 国家自然科学基金:命题与模态逻辑的扩展规则推理与混合推理方法研究(61300049)
[2] 教育部高等学校博士学科点专项科研基金:命题逻辑和模态逻辑的扩展规则推理方法研究(20120061120059)
[3] 中国博士后科学基金面上资助项目:自动规划的逻辑约束机制研究(2011M500612)
[4] 吉林省青年科研基金项目:结合模态逻辑知识表示与推理的自动规划方法研究(20140520069JH)
[5] 中央高校基本科研业务费专项资金——吉林大学科学前沿与交叉学科创新项目:自动规划的逻辑推理特性研究(201103124)
[6] 中央高校基本科研业务费专项资金——吉林大学种子基金项目:结合模态逻辑知识表示与推理的智能规划方法研究
[7] 中央高校基本科研业务费专项资金——吉林大学青年教师创新项目:扩展规则推理方法及其在规划推理中的应用研究
近年骨干参加的科研项目:
[1] 国家自然科学基金:智能规划中基于路标的启发式搜索方法研究(61502197)
[2] 国家自然科学基金:面向构建过程的范畴学习模型及其适应性机制研究(61503044)
[3] 吉林省重点科技攻关项目:云环境下的编程模型研究(20130206052GX)
[4] 中国科学院计算技术研究所技术开发项目:具备平台自适应性的SIMD编译优化系统的设计与开发(2015220101000405)
[5] 吉林省自然科学基金项目:云环境下SaaS的安全问题研究(20150101054JC)
[6] 吉林省青年科研基金项目:基于随机游走策略的智能规划方法研究(20150520058JH)
研究兴趣
论文共 110 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
EXPERT SYSTEMS WITH APPLICATIONS (2024)
IJCAI 2023pp.3750-3758, (2023)
引用1浏览0EI引用
1
0
Expert Syst. Appl. (2023): 120693-120693
IEEE Trans. Instrum. Meas. (2023): 1-12
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn