-
刘叙华
-
-
- 所属机构:吉林大学计算机科学与技术学院
- 所在地区:吉林省 长春市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 孙吉贵
- 作品数:209被引量:2,266H指数:18
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:人工智能 TABLEAU 模态逻辑 约束满足问题 粒子群算法
- 程晓春
- 作品数:26被引量:47H指数:5
- 供职机构:北京师范大学信息科学与技术学院
- 研究主题:人工智能 模糊逻辑 非单调逻辑 TABLEAU 知识表示
- 刘瑞胜
- 作品数:12被引量:45H指数:4
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:认识逻辑 模态逻辑 人工智能 信念 知识
- 欧阳丹彤
- 作品数:219被引量:636H指数:13
- 供职机构:吉林大学计算机科学与技术学院
- 研究主题:基于模型诊断 人工智能 离散事件系统 本体 集合枚举树
- 邓安生
- 作品数:33被引量:82H指数:6
- 供职机构:大连海事大学信息科学技术学院
- 研究主题:模糊逻辑 教学改革实践 BOOLE 假说 布尔代数