毕业博士生
- 2018级博士生(1人):李静瑶
- 2017级博士生(1人):周文博
- 2015级博士生(2人):牛当当,李壮
- 2010级博士生(2人):魏唯,邹婷婷
李静瑶,女,1994年10月生,吉林省松原市人。
- 2012.09-2016.06,吉林大学计算机科学与技术学院计算机科学与技术专业,本科生
- 2016.09-2018.06,吉林大学计算机科学与技术学院计算机技术专业,推免硕士生
- 2018.07-2022.06,吉林大学计算机科学与技术学院软件工程专业,推免博士生
- 研究方向:人工智能、机器学习
- 毕业去向:[长春] 吉林大学教师,现为吉林大学讲师
【学术论文】在国内外期刊和会议上发表学术论文10篇,在审学术论文9篇。
- Wu Hao, Zhang Shunhao, Chen Huangyang, Zhang Tao, Zhou Wenbo*, Li Jingyao*. UDPBC: Uncertainty-guided dual-perspective behavior cloning for offline-to-online reinforcement learning. 2025. (Submitted)
- Xiao Wei, Zhang Tao, Chen Huangyang, Li Jingyao*, Zhou Wenbo*. Q-bounded and adaptive Q-value constraints for offline-to-online reinforcement learning. 2025. (Submitted)
- Yuan Jianhui, Zhang Xinyu, Li Guixiang, Tan Lei, Li Jingyao*, Zhou Wenbo*. GRACE: Enhancing source-free universal domain adaptation via gradient-aware contrastive learning and entropy-aware alignment. 2025. (Submitted)
- Li Songlin, Wu Hao, Chen Huangyang, Zhou Wenbo*, Li Jingyao*. Anchor-based perturbation-driven exploration for offline-to-online
reinforcement learning. 2025. (Submitted)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Domain adaptive image retrieval via frequency-aware mixup and augmentation. 2025. (Submitted)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Domain adaptive hashing retrieval via VLM assisted pseudo-labeling and dual space adaptation. 2025. (Submitted)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Unsupervised domain adaptation via multiple VLM-assisted strategies: Pseudo-labeling, dual prompting and representation decomposition. 2025. (Submitted)
- Lü Shuai, Yuan Jianhui, Zhang Xinyu, Zhang Shaojie, Fang Wensi, Li Jingyao*. Pre-trained initialization and memory-enhanced correction for source-free universal domain adaptation. 2025. (Submitted)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Target self-guided framework for unsupervised domain adaptation. 2025. (Submitted)
- Lü Shuai, Zhang Xinyu, Li Zongze, Li Jingyao*, Kang Meng. Bi-classifier with neighborhood aggregation for unsupervised domain adaptation. Information Sciences, 2025, 718: 122399. (中科院2区期刊, CCF推荐B类期刊, SCI, 目前IF: 6.8)
- Yu Jiayu, Li Jingyao, Lü Shuai*, Han Shuai. Mixed experience sampling for off-policy reinforcement learning. Expert Systems with Applications, 2024, 251: 124017. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 7.5)
- Lü Shuai, Li Zongze, Zhang Xinyu, Li Jingyao*. Consistency regularization-based mutual alignment for source-free domain adaptation. Expert Systems with Applications, 2024, 241: 122577. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 7.5)
- Li Jingyao, Lü Shuai, Li Zhanshan*. Unsupervised domain adaptation via softmax-based prototype construction and adaptation. Information Sciences, 2022, 609: 257-275. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.1)
- Li Jingyao, Lü Shuai, Zhu Wenbo, Li Zhanshan*. Enhancing transferability and discriminability simultaneously for unsupervised domain adaptation. Knowledge-Based Systems, 2022, 247: 108705. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.8)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Feature concatenation for adversarial domain adaptation. Expert Systems with Applications, 2021, 169: 114490. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.665)
- Li Jingyao, Li Zhanshan, Lü Shuai*. Unsupervised double weighted domain adaptation. Neural Computing and Applications, 2021, 33(8): 3545-3566. (中科院2区期刊, CCF推荐C类期刊, SCI, IF: 5.102)
- Li Jingyao, Liu Lei, Zhang Peng*. Tabular-expression-based method for constructing metamorphic relations. Software: Practice and Experience, 2020, 50(8): 1345-1380. (中科院3区期刊, CCF推荐B类期刊, SCI, IF: 2.028)
- Hou Yun, Li Jingyao, Yu Haihong, Li Zhanshan*. BIFFOA: A novel binary improved fruit fly algorithm for feature selection. IEEE Access, 2019, 7: 81177-81194. (中科院2区期刊, SCI, IF: 3.745)
- Zhou Wenbo, Liu Lei, Zhang Peng*, Lü Shuai, Li Jingyao. SDAC: A model for analysis of the execution semantics of data processing framework in cloud. Computer Languages, Systems & Structures, 2018, 54: 406-426. (中科院2区期刊, CCF推荐C类期刊, SCI, IF: 1.714)
【学位论文】
- 李静瑶. 无监督领域适配方法研究[博士学位论文]. 长春: 吉林大学, 2022.
【荣誉奖励】
- 2016-2017学年,一等奖学金、优秀研究生、研究生学业奖学金
- 2017-2018学年,研究生学业奖学金
- 2018-2019学年,研究生学业奖学金
- 2019-2020学年,一等奖学金、优秀研究生、研究生学业奖学金
- 2020年度,研究生学术业绩二等奖学金
- 2020-2021学年,研究生学业奖学金
- 2022年度,研究生学术业绩二等奖学金
【联系方式】
- 邮箱:jingyao@jlu.edu.cn
- 办公:吉林大学计算机楼B522室
- 地址:长春市前进大街2699号,130012
周文博,男,1991年05月生,吉林省四平市人。
- 2010.09-2014.06,吉林大学计算机科学与技术学院计算机科学与技术专业,本科生
- 2014.09-2017.06,吉林大学计算机科学与技术学院计算机软件与理论专业,推免硕士生
- 2017.09-2021.06,吉林大学计算机科学与技术学院计算机软件与理论专业,博士生
- 2019.09-2021.03,[法国] Paris-Saclay University(巴黎萨克雷大学),国家公派联合培养博士生(合作导师:Dague Philippe教授,Ye Lina副教授,Zaidi Fatiha副教授)
- 研究方向:形式化方法与云计算
- 毕业去向:[长春] 东北师范大学教师,现为东北师范大学讲师、硕士生导师
【学术论文】在国内外期刊和会议上发表学术论文12篇,在审学术论文6篇。
- Wu Hao, Zhang Shunhao, Chen Huangyang, Zhang Tao, Zhou Wenbo*, Li Jingyao*. UDPBC: Uncertainty-guided dual-perspective behavior cloning for offline-to-online reinforcement learning. 2025. (Submitted)
- Xiao Wei, Zhang Tao, Chen Huangyang, Li Jingyao*, Zhou Wenbo*. Q-bounded and adaptive Q-value constraints for offline-to-online reinforcement learning. 2025. (Submitted)
- Yuan Jianhui, Zhang Xinyu, Li Guixiang, Tan Lei, Li Jingyao*, Zhou Wenbo*. GRACE: Enhancing source-free universal domain adaptation via gradient-aware contrastive learning and entropy-aware alignment. 2025. (Submitted)
- Li Songlin, Wu Hao, Chen Huangyang, Zhou Wenbo*, Li Jingyao*. Anchor-based perturbation-driven exploration for offline-to-online
reinforcement learning. 2025. (Submitted)
- An Daolong, Shen Chun, Li Songlin, Xiao Wei, Lü Shuai*, Zhou Wenbo*. Result constraint behavior clone for offline reinforcement learning. 2025. (Submitted)
- Lin Dajun, Li Songlin, Lü Shuai*, Zhou Wenbo*, Zhong Taihong, An Daolong. WCPC-TD3: Weighted contrastive policy constraint for offline reinforcement learning. 2025. (Submitted)
- Lü Shuai, Zhang Tongbo, Xu Yue, Zhou Wenbo, Lai Yong*. Combining bounded solving and controllable randomization for approximate model counting. Journal of Experimental & Theoretical Artificial Intelligence, 2024, 36(7): 1075-1088. (中科院4区期刊, CCF推荐C类期刊, SCI, IF: 1.7)
- Han Shuai, Zhou Wenbo, Lü Shuai*, Zhu Sheng, Gong Xiaoyu. Entropy regularization methods for parameter space exploration. Information Sciences, 2023, 622: 476-489. (中科院1区TOP期刊, CCF推荐B类期刊, SCI)
- Han Shuai, Zhou Wenbo, Lu Jiayi, Liu Jing, Lü Shuai*. NROWAN-DQN: A stable noisy network with noise reduction and online weight adjustment for exploration. Expert Systems with Applications, 2022, 203: 117343. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.5)
- 李壮, 刘磊, 张桐搏, 周文博, 吕帅*. 基于局部搜索的并行扩展规则推理方法. 软件学报, 2021, 32(9): 2744-2754. (CCF推荐中文A类期刊)
- Lü Shuai*, Han Shuai, Zhou Wenbo, Zhang Junwei. Recruitment-imitation mechanism for evolutionary reinforcement learning. Information Sciences, 2021, 553: 172-188. (中科院1区TOP期刊, CCF推荐B类期刊, SCI, IF: 8.233)
- Han Shuai, Zhou Wenbo, Lü Shuai*, Yu Jiayu. Regularly updated deterministic policy gradient algorithm. Knowledge-Based Systems, 2021, 214: 106736. (中科院1区TOP期刊, CCF推荐C类期刊, SCI, IF: 8.139)
- Zhou Wenbo, Dague Philippe, Liu Lei*, Ye Lina, Zaidi Fatiha. A coloured Petri nets based attack tolerance framework. In: Proceedings of the 27th Asia-Pacific Software Engineering Conference (APSEC 2020), Singapore, December 1-4, 2020, 159-168. (CCF推荐C类会议)
- Zhou Wenbo, Liu Lei, Lü Shuai, Zhang Peng*. Toward formal modeling and verification of resource provisioning as a service in cloud. IEEE Access, 2019, 7: 26721-26730. (中科院2区期刊, SCI, IF: 3.745)
- 周文博, 刘磊, 张鹏*, 吕帅. Tabular表达式中正规函数表操作的形式语义. 华南理工大学学报(自然科学版), 2019, 47(2): 85-91.
- Ren Junqi, Liu Lei, Liu Feng, Zhou Wenbo, Lü Shuai*. An executable specification of Map-Join-Reduce using Haskell. IEEE Access, 2019, 7: 10892-10904. (中科院2区期刊, SCI, IF: 3.745)
- Zhou Wenbo, Liu Lei, Zhang Peng*, Lü Shuai, Li Jingyao. SDAC: A model for analysis of the execution semantics of data processing framework in cloud. Computer Languages, Systems & Structures, 2018, 54: 406-426. (中科院2区期刊, CCF推荐C类期刊, SCI, IF: 1.714)
- 周文博, 刘洪佳, 刘磊, 张鹏*, 吕帅. 一种服务消息交互行为的元建模方法. 计算机科学, 2017, 44(4): 24-29. (CCF推荐中文B类期刊)
【学位论文】
- 周文博. 云计算系统的形式化建模与验证方法研究[博士学位论文]. 长春: 吉林大学, 2021.
【科研项目】
- 吉林大学2018年研究生创新研究计划项目:时间与环境感知的云服务形式化验证方法研究
项目负责人:周文博;执行期间:2018.10-2019.09;经费:0.6万
【社会实践】
- 吉林大学2015年研究生暑期社会实践调研项目:历史遗迹的文化剩余价值——以丹东战争遗址为例
- 2015.11-2016.11,CCF吉林大学学生分会主席
【荣誉奖励】
- 2014-2015学年,二等奖学金、研究生学业奖学金
- 2015-2016学年,二等奖学金、研究生学业奖学金
- 2016.12,全国大学生软件测试大赛嵌入式测试大赛,国家级一等奖
- 2016.12,获得中国商业联合会2016年度全国商业科技进步一等奖:形式化新方法及其在云计算中的应用(2016-1-54)第11完成人
- 2016年度,浪潮奖学金
- 2016-2017学年,研究生学业奖学金
- 2017.06,吉林大学优秀毕业研究生
- 2017-2018学年,二等奖学金、研究生学业奖学金
- 2018-2019学年,二等奖学金、研究生学业奖学金
- 2019年度,研究生国家奖学金
- 2019-2020学年,研究生学业奖学金
- 2020年度,研究生学术业绩三等奖学金
- 2020年度,”科研之星”荣誉称号
【联系方式】
- 单位:东北师范大学信息科学与技术学院, 长春 130117; 应用统计教育部重点实验室(东北师范大学), 长春 130024
- 单位:School of Information Science and Technology, Northeast Normal University, Changchun 130117, China; Key Laboratory of Applied Statistics (Northeast Normal University), Ministry of Education, Changchun 130024, China
- 邮箱:zhouwb646@nenu.edu.cn
牛当当,男,1990年02月生,陕西省西安市人。
- 2008.09-2012.06,吉林大学计算机科学与技术学院计算机科学与技术专业,本科生
- 2012.09-2015.06,吉林大学计算机科学与技术学院计算机软件与理论专业,硕士生
- 2015.09-2018.06,吉林大学计算机科学与技术学院计算机软件与理论专业,博士生
- 研究方向:人工智能、自动推理
- 毕业去向:[陕西杨凌] 西北农林科技大学教师,现为西北农林科技大学副教授、硕士生导师
【学术论文】在国内外期刊和会议上发表学术论文15篇。
- 牛当当*, 吕帅, 王金艳, 刘斌. 基于MACR和CAL启发式的求差知识编译算法. 电子学报, 2020, 48(2): 285-290. (CCF推荐中文A类期刊)
- 贺甫霖, 刘磊, 吕帅*, 牛当当, 王强. 基于格局检测的模型计数方法. 软件学报, 2020, 31(2): 395-405. (CCF推荐中文A类期刊)
- 牛当当*, 吕帅, 王金艳. 基于相邻子句规约的求差知识编译算法. 哈尔滨工程大学学报, 2019, 40(12): 2044-2049.
- 牛当当*, 吕帅, 王金艳. 基于MOVR启发式的求差知识编译算法. 电子学报, 2019, 47(11): 2299-2303. (CCF推荐中文A类期刊)
- Niu Dangdang, Liu Lei, Lü Shuai*. Augmenting negation normal form with irrelevant variables. IEEE Access, 2019, 7: 91360-91366. (中科院2区期刊, SCI, IF: 3.745)
- Niu Dangdang, Liu Lei, Lü Shuai*, Xu Yue. Complementary knowledge compilation using the hyper extension rule. Chinese Journal of Electronics, 2019, 28(2): 259-265. (中科院4区期刊, SCI, IF: 0.941)
- Niu Dangdang, Liu Lei, Lü Shuai*. Knowledge compilation methods based on the clausal relevance and extension rule. Chinese Journal of Electronics, 2018, 27(5): 1037-1042. (中科院4区期刊, SCI, IF: 0.945)
- Niu Dangdang, Liu Lei, Lü Shuai*. New stochastic local search approaches for computing preferred extensions of abstract argumentation. AI Communications, 2018, 31(4): 369-382. (中科院4区期刊, SCI, IF: 0.765)
- 牛当当, 刘磊, 吕帅*. EPCCL理论的并行知识编译算法. 电子学报, 2018, 46(3): 537-543. (CCF推荐中文A类期刊)
- 牛当当, 刘磊, 吕帅*. EPCCL理论的求交知识编译算法. 软件学报, 2017, 28(8): 2096-2112. (CCF推荐中文A类期刊)
- Zhang Xindi, Xie Xiaojie, Pan Yancen, Niu Dangdang, Lü Shuai*. A new method for computing preferred extensions. In: Proceedings of the 2nd International Conference on Intelligent Information Processing (IIP 2017), Bangkok, Thailand, July 17-18, 2017, ACM ICPS 131840, a3.
- Niu Dangdang, Liu Lei, Zhang Xin, Lü Shuai*, Li Zhuang. Security analysis model, system architecture and relation model of enterprise cloud services. International Journal of Automation and Computing, 2016, 13(6): 574-584.
- Niu Dangdang, Liu Lei, Lü Shuai*. A new stochastic local search approach for computing preferred extensions of abstract argumentation. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29 - September 2, 2016, FAIA 285, 1652-1653. (CCF推荐B类会议, 短文)
- 刘磊, 牛当当, 吕帅*. 基于超扩展规则的知识编译方法. 计算机学报, 2016, 39(8): 1681-1696. (CCF推荐中文A类期刊)
- 刘磊, 牛当当, 李壮, 吕帅*. 基于超扩展规则的动态在线推理算法. 哈尔滨工程大学学报, 2015, 36(12): 1614-1619.
【学位论文】
- 牛当当. 基于扩展规则的知识编译方法研究[博士学位论文]. 长春: 吉林大学, 2018.
- 牛当当. 基于超扩展规则的高效知识编译方法研究[硕士学位论文]. 长春: 吉林大学, 2015.
【荣誉奖励】
- 2015.06,吉林大学优秀硕士学位论文:基于超扩展规则的高效知识编译方法研究
- 2015.06,吉林省优秀硕士学位论文:基于超扩展规则的高效知识编译方法研究
- 2015-2016学年,二等奖学金、研究生学业奖学金
- 2016.12,获得中国商业联合会2016年度全国商业科技进步一等奖:形式化新方法及其在云计算中的应用(2016-1-54)第6完成人
- 2016年度,浪潮奖学金
- 2016-2017学年,二等奖学金、研究生学业奖学金
- 2017年度,研究生国家奖学金
- 2017-2018学年,研究生学业奖学金
- 2018.06,吉林大学优秀博士学位论文:基于扩展规则的知识编译方法研究
- 2019年度,研究生学术业绩三等奖学金
李壮,男,1988年11月生,吉林省白城市人。
- 2012.09-2015.06,吉林大学软件学院软件工程专业,硕士生
- 2015.09-2020.09,吉林大学计算机科学与技术学院计算机软件与理论专业,博士生
- 研究方向:人工智能、自动推理与机器学习
- 毕业去向:[吉林吉林] 东北电力大学教师,现为东北电力大学副教授、硕士生导师
【学术论文】在国内外期刊和会议上发表学术论文7篇。
- 李壮, 刘磊, 张桐搏, 周文博, 吕帅*. 基于局部搜索的并行扩展规则推理方法. 软件学报, 2021, 32(9): 2744-2754. (CCF推荐中文A类期刊)
- 李壮, 刘磊, 张桐搏, 吕帅*. 基于格局检测的并行模型计数方法. 吉林大学学报(工学版), 2020, 50(4): 1443-1448.
- 李壮, 刘磊, 张桐搏, 吕帅*. 基于重启策略的学习子句优化方法. 东北大学学报(自然科学版), 2020, 41(1): 44-48.
- 李壮, 刘磊, 吕帅*, 任俊绮. 利用细胞膜演算描述带子句学习的DPLL算法. 哈尔滨工程大学学报, 2019, 40(4): 799-804.
- Niu Dangdang, Liu Lei, Zhang Xin, Lü Shuai*, Li Zhuang. Security analysis model, system architecture and relation model of enterprise cloud services. International Journal of Automation and Computing, 2016, 13(6): 574-584.
- 刘磊, 牛当当, 李壮, 吕帅*. 基于超扩展规则的动态在线推理算法. 哈尔滨工程大学学报, 2015, 36(12): 1614-1619.
- 刘磊, 李壮, 张鑫, 吕帅*. 中文网络文本的语义信息处理研究综述. 计算机应用研究, 2015, 32(1): 6-10, 16. (CCF推荐中文C类期刊)
【学位论文】
- 李壮. 可满足性问题的相关问题研究[博士学位论文]. 长春: 吉林大学, 2020.
- 李壮. 基于细胞膜演算的伴随子句学习的DPLL算法描述[硕士学位论文]. 长春: 吉林大学, 2015.
【荣誉奖励】
- 2015-2016学年,研究生学业奖学金
- 2016-2017学年,研究生学业奖学金
- 2017-2018学年,研究生学业奖学金
魏唯,女,1984年12月生,吉林省长春市人。
- 2007.09-2010.06,吉林大学计算机科学与技术学院计算机软件与理论专业,推免硕士生
- 2010.09-2013.06,吉林大学计算机科学与技术学院计算机软件与理论专业,推免博士生
- 研究方向:人工智能、智能规划与自动推理
- 毕业去向:[长春] 吉林大学教师,现为吉林大学副教授
【学术论文】在国内外期刊和会议上发表学术论文13篇。
- 魏唯, 欧阳丹彤*, 吕帅. 路标计数启发式引导的分解规划方法. 软件学报, 2013, 24(10): 2327-2339. (CCF推荐中文A类期刊)
- 魏唯, 欧阳丹彤*, 吕帅. 基于缩减信念状态的Conformant规划方法. 软件学报, 2013, 24(7): 1557-1570. (CCF推荐中文A类期刊)
- Wei Wei, Ouyang Dantong*, Zou Tingting, Lü Shuai. A novel heuristic usage of helpful actions for Conformant-FF system. Journal of Computers, 2013, 8(6): 1385-1393.
- Zou Tingting, Lü Shuai, Wei Wei, Liu Lei*. Interval-based possibilistic description logics. Journal of Information and Computational Science, 2012, 9(15): 4271-4278.
- 吕帅, 刘磊*, 魏唯, 高冰冰. 智能规划的逻辑编码方式研究. 计算机研究与发展, 2012, 49(3): 607-619. (CCF推荐中文A类期刊)
- 魏唯, 欧阳丹彤, 吕帅, 冯宇轩. 动态不确定环境下多目标路径规划方法. 计算机学报, 2011, 34(5): 836-846. (CCF推荐中文A类期刊)
- 杨超, 吕帅*, 刘磊, 魏唯, 张波, 吴俊. 智能规划中的动作互斥编码方式研究. 计算机工程, 2011, 37(9): 213-215. (CCF推荐中文C类期刊)
- 吕帅, 刘磊*, 石莲, 魏唯, 杨超. 依赖公理约简的经典规划方法. 电子学报, 2011, 39(2): 322-328. (CCF推荐中文A类期刊)
- 魏唯, 欧阳丹彤, 吕帅, 殷明浩. 结合增量与启发式搜索的多目标问题处理方法. 计算机研究与发展, 2010, 47(11): 1954-1961. (CCF推荐中文A类期刊)
- 吕帅, 刘磊*, 江鸿, 魏唯. 基于压缩编码的经典最优规划方法. 吉林大学学报(工学版), 2010, 40(6): 1644-1649.
- 魏唯, 欧阳丹彤, 吕帅. 一种实时多目标路径规划方法. 计算机科学, 2010, 37(7): 236-239, 269. (CCF推荐中文B类期刊)
- 吕帅, 刘磊, 江鸿, 魏唯. 基于命题可满足性的经典最优规划方法. 计算机科学, 2010, 37(4): 192-196. (CCF推荐中文B类期刊)
- 魏唯, 欧阳丹彤*, 吕帅, 殷明浩. 一种多目标增量启发式搜索算法. 吉林大学学报(理学版), 2009, 47(4): 752-758.
【学位论文】
- 魏唯. 智能规划方法中启发式搜索策略的研究[博士学位论文]. 长春: 吉林大学, 2013.
- 魏唯. 不确定环境下多目标路径规划方法研究[硕士学位论文]. 长春: 吉林大学, 2010.
【科研项目】
- 吉林大学2011年研究生创新研究计划项目:基于增量搜索的动态多目标路径规划方法(20111060)
项目负责人:魏唯;执行期间:2011.01-2011.12;经费:1.2万
【荣誉奖励】
- 2010.10,吉林大学博士研究生杰出人才培育资助计划
- 2012年度,研究生国家奖学金
- 2013.06,吉林大学优秀毕业研究生
邹婷婷,女,1984年11月生,吉林省集安市人。
- 2010.09-2013.06,吉林大学计算机科学与技术学院计算机软件与理论专业,博士生
- 研究方向:人工智能、自动推理
- 毕业去向:[辽宁大连] 大连海事大学教师,现为大连海事大学副教授、硕士生导师
【学术论文】在国内外期刊和会议上发表学术论文5篇。
- Wei Wei, Ouyang Dantong*, Zou Tingting, Lü Shuai. A novel heuristic usage of helpful actions for Conformant-FF system. Journal of Computers, 2013, 8(6): 1385-1393.
- Zou Tingting, Lü Shuai, Wei Wei, Liu Lei*. Interval-based possibilistic description logics. Journal of Information and Computational Science, 2012, 9(15): 4271-4278.
- Zou Tingting, Lü Shuai, Liu Lei*. Rough description logic programs. Journal of Computers, 2012, 7(11): 2719-2725.
- Zou Tingting, Liu Lei*, Lü Shuai. Knowledge compilation for description logic based on concept extension rule. Journal of Computational Information Systems, 2012, 8(6): 2409-2416.
- Liu Lei, Zou Tingting, Lü Shuai*. Rough description logics with concrete domain. ICIC Express Letters, Part B: Applications, 2011, 2(5): 1143-1149.
【学位论文】
- 邹婷婷. 描述逻辑中若干问题的研究[博士学位论文]. 长春: 吉林大学, 2013.